Skip to content

Fix incorrect analyzing of array_shift with non-empty-list property #12875

Fix incorrect analyzing of array_shift with non-empty-list property

Fix incorrect analyzing of array_shift with non-empty-list property #12875

Triggered via pull request September 8, 2025 08:31
Status Success
Total duration 4m 9s
Artifacts 145

issue-bot.yml

on: pull_request
Download data
35s
Download data
Matrix: Analyse
Evaluate results
36s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache
577 KB
sha256:23d78e77dd1590d599449e26d86cf90c8a68cdd3c115cbe12cc001e2cc5eb928
playground-cache
538 KB
sha256:d1bad2dfab8744313146534e1113756579bbfe1712691ded7cac9cd2ca561743
results-70300-1
9.43 KB
sha256:590d29ea21c4b945f8cdd770f8a36a4ba9b89fbb3b6c829933e5560fa773b092
results-70300-10
8.93 KB
sha256:22b4b1313b0a283ff7d620f7d0755dae691a06a71a93ea5d11593fc7066c975c
results-70300-11
9.97 KB
sha256:959dbfcdf14821992a4130f85caae98bfcc667a6b32b572ad3cd6d0ca5b58b94
results-70300-12
9.48 KB
sha256:dada77525675b98fdc26829e7a59a66ffd064f845158b9c46553d65b22222a59
results-70300-13
9.55 KB
sha256:f99b7d39e5f6b90424cbc06ac27a8c61cf96035ecb24f238eb7de60ce507e9f2
results-70300-14
8.26 KB
sha256:b39fef3c52ec2c3963a7b40dc788cb818f0ab6cb6abd16e9bbe874cc98a10488
results-70300-15
8.3 KB
sha256:b4124defd09500f953b4c5359a02ab91772942241c2746aac3b3c29ed9ec32b7
results-70300-16
9.64 KB
sha256:4485d9541a1e87652b436f7652ff03237c8aa9c64c949392606cd600b5dbd143
results-70300-17
9.54 KB
sha256:2f5924c547274e620339f1b610b61541b3be2e3677ca37f639582e54698c4a84
results-70300-18
8.79 KB
sha256:99fdc0ad27d0d3e14704ac6f7517e7d2229fa4e695a38fa4f61fecfa0ea32156
results-70300-2
13.6 KB
sha256:60622b59c20851c549a1d8ab4c6d568f020dae027bbc26feebc216c570c37683
results-70300-3
7.64 KB
sha256:370e9d39f0195c6a809c425d7843e221bac94c03d0a48b7e237d5f1304a7ac4b
results-70300-4
7.21 KB
sha256:089e0605c3047de31c31e6a015f1854194560fc8f89b9bebcfe7b85e1af669ae
results-70300-5
8.41 KB
sha256:db29e0c020f5893a2f9551ffc48325f741cf16ee68c67fb58a96cee391f049f7
results-70300-6
9.01 KB
sha256:06d713b43e699094117565732eff0494cceb3e51d9716133ba0ba37061f8cf6c
results-70300-7
7.69 KB
sha256:204582fda4abfe493f81dd3b8ccb68f3bb5e7ba4fe80e13e2c3ef6abfa457a49
results-70300-8
9.4 KB
sha256:00e2570f21beed966a364f305295bdadd52eff900d06d6eb5852dabc9f948f05
results-70300-9
8.62 KB
sha256:572ad023e818a6d11e5df71b20b512b475bdd236f14a9d619c5d2c66231e9a43
results-70400-1
9.28 KB
sha256:db11322b6b823210ccfd2cda705c7bb3aeebf2cce7abab75415902ce0d01e990
results-70400-10
8.87 KB
sha256:0d21f16a4cda81f0f9623049e8ecd39fdd5d257232740ba1eb894ea76075fed0
results-70400-11
9.9 KB
sha256:053c07fab59a7aaef4d7942d38f31fa6bcc8678f28a1210c88c8c4b4283e8d31
results-70400-12
9.5 KB
sha256:9b850768e51b12fe4ce2a4aca64dbcc249e12d73d32274f302e79df0d804b73b
results-70400-13
9.55 KB
sha256:833f23af5016b626c82a653df6ea0475836f5a3ecaab22855f8d3e62ec7622c7
results-70400-14
8.26 KB
sha256:a3132208346b3fc58cc1f5050c7c6d7ac5471d6f1442a785e91ab9a19da0810f
results-70400-15
8.3 KB
sha256:f5781fea45d527deaf5e01c5a434a9d73fb1ffa151956c114d6c1515b6373d3f
results-70400-16
9.64 KB
sha256:761272ca9b8e68a4cafe0a377dffedfa1e629b38e7519367560ff90ea6abba77
results-70400-17
9.55 KB
sha256:76e554dc451074f5ae9deb784eb6d1a7af9879e8b746b960f33f8f0ce028ec71
results-70400-18
8.79 KB
sha256:f373f26bfbbd540209a4e25bd8c245f82c265b72454b212674813f966ae5adbe
results-70400-2
13.4 KB
sha256:c7ef69d495c2325361a686d6769fde4cc196b2efa3a7b7234c5e4ad91ef76e98
results-70400-3
7.55 KB
sha256:6cedc541c5a4fc565d4e09be96b1b4b87f356c52e60c0e28ec60a8b4ebf19202
results-70400-4
7.21 KB
sha256:0291cb890fc07a51ca4fd71bdf7b97616e0908ab940ad3552706c0f4735e4875
results-70400-5
8.41 KB
sha256:31cb7177dd62b3b9c91404417c32ef5ec45c7acddbc3c8f01f93d1770de1bcdd
results-70400-6
9.01 KB
sha256:62c5913390a79bd3bf47b57063c857229fd96a1b215da5933f7c39d35e0e9747
results-70400-7
7.56 KB
sha256:5c7db95793f8f93c89884de8075a43a774d0ea2630edcbb26b8c2d402a7d4be3
results-70400-8
9.41 KB
sha256:c4c8642029952f80b6ac2ddaa242d3cb95dfc10dd042f12c13ae65111e51dcb6
results-70400-9
8.62 KB
sha256:0a50f4499f7f89a17c10fb6ec80faea47e2bb62adb2d91b775928fc01c73c637
results-80000-1
7.18 KB
sha256:15cc1725c2b101c72e726a38d20bc76098713b501d106cd891027bac2e7f2304
results-80000-10
7.86 KB
sha256:bc450e53d3da654e76f03f57fe8e5120bbccbe1183418bdc610eccd6fa52cb0d
results-80000-11
8.37 KB
sha256:2b5cba185bf063219e18b3200b84c9ce62d1e5ecaf5f40b611e61093329024fd
results-80000-12
7.18 KB
sha256:99ad4408f922dc1869920376bd209d4657e945c4040d0bf8831f949888d1dc0f
results-80000-13
8.17 KB
sha256:f1e66f507c6cd66eb391e18129a564281acbd399455fd6da0843add68a78dd56
results-80000-14
7.51 KB
sha256:e2d5b9b12feed47ddf1ae44c86261d183b29affde94aac228deef8ecccf495eb
results-80000-15
7.88 KB
sha256:dec6a09a8bf4fc77f18702036ac04b3cc090168216352350b3284e1a8e3ec275
results-80000-16
8.67 KB
sha256:91fa37250fa33e0a245829732d9d6eee7bb7e31ad646e263945e6127295a48dd
results-80000-17
8.11 KB
sha256:8281296068b64d5b73b8f025510a318c5c1b52a75e7b302a77704fbabda33e5b
results-80000-18
7.48 KB
sha256:5ab71cc3cb0e4d326364352759770b1e2eb010c10dac179997460d526fdc59fe
results-80000-2
12.3 KB
sha256:1e104158d1a5127427546e9ea8540d7cd9d5dfefa9384243347b5dde61354498
results-80000-3
6.77 KB
sha256:0b3aef502b4f36ba1941f8997db277bd39129f01be0a576c87bd4b13a03ee76c
results-80000-4
6.53 KB
sha256:29569c7d47b0a51e9ca8c831123a60feaca55ac0392981e8305af9566b0a9e27
results-80000-5
7.53 KB
sha256:c1013d2625b0755ebe56339da4d4eb8112c00ce9414e99f848d33245d6bfed84
results-80000-6
8.46 KB
sha256:bda3a9b62c4c2d5e4678d73d6cddcdced9659444e2c2f5d0f92103ec821f27e2
results-80000-7
6.79 KB
sha256:69c97f4899d93a6aa8896accabb3204a917b421f0cb63dfae6950bdf6beac869
results-80000-8
7.44 KB
sha256:4452149b52dc66342517cb6275c94ec0e2d51ba3fa7cf9821b21041656324cd2
results-80000-9
7.99 KB
sha256:f3d9e5b9fa3da39bef3489a7bfce04db1f4c44f55012dc27e0e18fe18863c194
results-80100-1
7.16 KB
sha256:9910336a67dc4932426427196bfc56b1ce653ba619bc8ee5efaae49680a3333e
results-80100-10
8.24 KB
sha256:2c0966efa8ef7379e1748a07bd4214622b03e4cf8aba20e3f68fc14ef323cb9e
results-80100-11
8.5 KB
sha256:6e7c4c82603188a89db5ec3d6a535ce2c9ff82e034c48a525896724cfaa46456
results-80100-12
7.21 KB
sha256:5c846e3660b743fd18b0985e4614f86bd97a30bcea2f6214997cc85bc7f20fa2
results-80100-13
8.08 KB
sha256:a28ed49a7ec2288aa9e2eca8ff67d1d24a00dcbc9caf14e51e225ff1dc17397b
results-80100-14
7.51 KB
sha256:bb83781b8962b2d8eaeb8eb63aa2e29648ab17ebec8e846cb5597536518de093
results-80100-15
7.81 KB
sha256:a6d00b58a09881ed351c8fd27cb03306957e33ec3150e37837621e69f4cb592c
results-80100-16
8.84 KB
sha256:e9453937990c3348555ca31ff25f16de24a0931e671268bf1dd434bc5a8e2825
results-80100-17
8.15 KB
sha256:4242120f051fea955e80ba0784ef0aadceaa7c41b5cf2f23cf7b3b2c4127d799
results-80100-18
8.3 KB
sha256:65fc067cd9ec40cedc8c9f3bf6089c6b2707b9212406e482b337c6e9dbff93b1
results-80100-2
12.4 KB
sha256:3535879420879ec925e3e4910c67fc9d5a09d2778f5afbf3426a73606e094c7e
results-80100-3
6.71 KB
sha256:1d3ac1e71cf58eaa95c508f562f7c4e36e3ee7af7e3f597323970a1d08bf4a12
results-80100-4
6.63 KB
sha256:d7d9d97f2c490d89923ec35f28351ba8ff181d6dd9a99ad488794ae2c8df0738
results-80100-5
7.54 KB
sha256:103fd8917c1d18f2c15501eb6c131679b8a02abe17778bea3914917461df622d
results-80100-6
8.38 KB
sha256:1cb85edf94621ccb67a5e631bcd14f3081ac48e4e4d0e91a40d552f1bfc6c044
results-80100-7
6.62 KB
sha256:479f6e96f4e60107163e93af5003a8d0203c5e5afb0fa8387acd3ff215fb2fad
results-80100-8
8.29 KB
sha256:24b07e8fd2f4b3089920712604ec9b51a114cc54fc6c073f037b0c2a056a308d
results-80100-9
8.3 KB
sha256:b82bd1ea558ce32b832da0f6863efd4d41978d22c68f98e69eb0a33e5b6ae3cf
results-80200-1
7.12 KB
sha256:1573cd36b38f424938345c2751edd2439247f3aa9aab7775816a7bd89fe3b701
results-80200-10
8.03 KB
sha256:93e2fcdc529464a850e89adcb8a666c2bcee49230d0d55672585a899969f57da
results-80200-11
8.5 KB
sha256:7015fb4c16c0e7da17b0e7cde471306add4cb1d586971ac4ff15516c9a392e79
results-80200-12
7.18 KB
sha256:57f2c513a8352855483651818054e1218ce93689b5b902261ed9f9e8c0fbe5a9
results-80200-13
8.09 KB
sha256:3139ed18ae08534b1557ccefe3a202b10e65e2cc6ba7c9b5a1687a5db2606c95
results-80200-14
7.57 KB
sha256:645f98cef75cec593e103955466d796f151e3a27036fd586f58e91d7082dcb4d
results-80200-15
7.82 KB
sha256:f836075be906b940d8ac508125300ca77e2f4bd2d10d1f4dfff762afb909b074
results-80200-16
8.7 KB
sha256:b10d1c156c205de62abf7a46fb6781f6b701c8cf166d6aacd4ba2540d09b09c4
results-80200-17
8.01 KB
sha256:1f511cc0a5e5f9dd369554eef3411ae9e90c396aa209fd1c6d9392329cdbd9a2
results-80200-18
8.2 KB
sha256:1a2f4495c9bfa1f1ab3b1ab6ab3cdacc64e78b2bf70326d0790d5a7a32c43532
results-80200-2
12.4 KB
sha256:525c3278cf69a88755414048028722527326fdebacef7acc5a6bda9bd79ecfb9
results-80200-3
6.8 KB
sha256:37b1136658c2a8cd7f06b96d6e8fa43415222f38c7a5934f02894e99aeeb9075
results-80200-4
6.67 KB
sha256:d5e26684e4ca2b3c3bf576f61d5d8c92aa68243efc90cf8d5ab359f8a5f4d6a2
results-80200-5
7.49 KB
sha256:65c53d27daa5ff43478f7e71540f2965741a0406a1400a3071f84c371878533b
results-80200-6
8.4 KB
sha256:25740596aa757aa98db8256d615df4c00fb7bf1f8227265f1d7365fef4986725
results-80200-7
6.69 KB
sha256:7fd26e056b3e3a693334d1c61cb44622e76ed79d31913e4d81625ae2f3a68574
results-80200-8
7.99 KB
sha256:d754b83a399dc997299071a17aa996d9608091fa54b577928f470ab54f47d4de
results-80200-9
8.27 KB
sha256:7d7685b3d7911705f6ff25fc87aa617c529dae631c6d1baa06115ab503a4946c
results-80300-1
7.02 KB
sha256:7d82243a8702a98a49590a4e2e8eedb483a6aecbe0a97b1731ffd00d283ca71b
results-80300-10
8.03 KB
sha256:bc445c3df649052a81b17173b172996b6da63bc025c46bdbe6eed93b74190ddc
results-80300-11
8.38 KB
sha256:c3ef0f4235c7449bd9fd7ecef50de85b0d6f74a09536e2e85a28fe8a21d06238
results-80300-12
7.2 KB
sha256:2d466a5c518fd047957093fa92cc3a7f2895ad3d031433410080c650b0c06870
results-80300-13
8.09 KB
sha256:03b3425f9025f9c91b2707d691d127354d02aae2a8607c6b519d525050a90511
results-80300-14
7.57 KB
sha256:ceed2ad72c30d7a7d5f09ea986f51f8fe848f9cafaf5da1ee2a7b94b8373d066
results-80300-15
7.82 KB
sha256:bf0339547c20ad74729671fd9de0c0fceed5408411e0f3ea696d495686f281c6
results-80300-16
8.63 KB
sha256:1e84805ff32b8182f24771dbcbeb1a6dc34c556765de1a93edac8f7075e02841
results-80300-17
7.84 KB
sha256:df1c646c44b77a7c2ce6f843a814d842977da92dc85d38ac66357519b9159646
results-80300-18
8.06 KB
sha256:e534d5f0803a751d863d589c33f063cc203003503af9e78969ca28123901cbc5
results-80300-2
12.3 KB
sha256:7bc6fb4a9c0d61087c4f60527ce9cc58e872abcfb5aea380349329a38e80462c
results-80300-3
6.8 KB
sha256:dc40f640f04ee75aa660d3465ec03f5881c28e1cfd9fff615c8042022edb8df8
results-80300-4
6.67 KB
sha256:ed47a2350e6f4de4d4167d4b55b938404e2e44709e24a72fe9010875692f2f79
results-80300-5
7.49 KB
sha256:d8ccc81d81daa5ee24cc528def50db73620bbde2ff2a22bd3c3782bd6c4986de
results-80300-6
8.4 KB
sha256:1eee13ea0968d64bc2f6f1333a2da21c85853df86f22aa2687f4c89d7f0f6fc2
results-80300-7
6.69 KB
sha256:8d987de79035f866a61bda6629bf36fdb83e828f74c3a711083ecacae354c475
results-80300-8
7.99 KB
sha256:7043fce6398fd38a96c4421b3343e1ea54044317b489a2410839d743b0107875
results-80300-9
8.19 KB
sha256:83e1f3ecf729ef3515c280c497e9985a0f56d480e8f72e842679b129f544f77c
results-80400-1
6.97 KB
sha256:3e34d87ff36993657453e504b5b3295bb309ec936bf55ab491a01746da1c4d0a
results-80400-10
7.98 KB
sha256:1cd30340c9ca97984fb0fcf4a8f822d20dd99ad04edf7b625903c1f4ebcf2a51
results-80400-11
8.37 KB
sha256:dc4a89103032a46796cccbe12cf82737e0487d095d0f4d3a29efd149e05f46d6
results-80400-12
7.2 KB
sha256:9e00c19da7173db22c9129862be681692d186880da8601c19c27d558d88d4f56
results-80400-13
8.22 KB
sha256:0f71ad366cc9764518d945e4d57df712704fb344d2cc32c4e920fb81e1845e5f
results-80400-14
7.57 KB
sha256:588d0a17627a5dbefcb59b893ccd457065743870cdbf21b8251433158b63ef41
results-80400-15
7.77 KB
sha256:c38188d006a95e6b43e193359f0f35f69fec909e3b483af8ca4f6aa6c83e86cf
results-80400-16
8.51 KB
sha256:a59687e35eff8e9e33cb98da80d8903d6e87aea0a5f9be21348d202d98036f88
results-80400-17
7.84 KB
sha256:cde0cd76d30b1db9f80283a2d24130fb41ef048ac77ee09902822f603c474187
results-80400-18
7.86 KB
sha256:bf081ac952343e71797af43d5b97e51aebde2aa0f76d5a3f40cf6e7a795596bd
results-80400-2
12.3 KB
sha256:b2626ef2178c1cdc5d83dadba08acdf4fc3c96ed148092faecfe12ce2c948ca6
results-80400-3
6.87 KB
sha256:5ce9b1d908a009010976c9588d9e9aa510c696e71a32129bdcbc743e439b752a
results-80400-4
6.67 KB
sha256:a52d15f21c519844a70a1a7f2a14c0e5705e2c20e81f6eb0051b251c62691de5
results-80400-5
7.48 KB
sha256:63276fc916ae5873ce0e99c1ed98f7452a2ef7090ebbca4b0353e763b78914e3
results-80400-6
8.4 KB
sha256:05d1f39d897e73d07360ea860803001e1a93dc1eabfbd8a41843f342a479029c
results-80400-7
6.69 KB
sha256:ea9f134ae16b0a5eb253e32108e425841760f046355ca93fdab28b7b51fc1221
results-80400-8
7.95 KB
sha256:ef73aecbea5cc93d6cd53273a6142f1a9a3a49d9036c47a21701170b2b62ce19
results-80400-9
8.19 KB
sha256:17dd1c1ffa7da9de9ad52f71dcf16ae5a7a94986b63ae71b2229fba74d3997ca
results-80500-1
955 Bytes
sha256:22eab16cf911edf1ccad72fdb78b929e5daa6fd16b6583451172909a2e30d128
results-80500-10
723 Bytes
sha256:f0c630ad35edc569cce1420dfa4cc9fcb616df182e3c4afed3dad54c6c58c385
results-80500-11
871 Bytes
sha256:de50e5c8cc1cedbd8c8ee4d3c6ffff7562696ab5563417dcb53236ac643d83d9
results-80500-12
699 Bytes
sha256:7907d2939cfce6cd6241e88302ff54721874fe0ec4a20573668ad4b960e6c51a
results-80500-13
989 Bytes
sha256:65de552ea89feee6927f6d1a884efa482a05ce0b0f08281812482222392252b1
results-80500-14
829 Bytes
sha256:2eb924df7d8b3c2f06705387f419569e804e521cafbedc5b42a850d298fd34b0
results-80500-15
909 Bytes
sha256:9e76bd68177dd5dc41104c452a456ecb0804567c14332aa840e8862abc2df96f
results-80500-16
736 Bytes
sha256:1d99c5c3ebf47bbca0a793c521309dff9bbbe6401e1232d41f8c421b0c548fcf
results-80500-17
318 Bytes
sha256:feb55334421d65a6bf7873423dd2a63e735b3035bb883908bf7bb2330a066ff1
results-80500-2
731 Bytes
sha256:4b06b761a03efec887c9927258dd36d499be9bf78e6a9f316100aceae2fcc28b
results-80500-3
689 Bytes
sha256:0065ddd9e36c6f7d115a45ce6dff22442aa2ae6c96cf8a3214563e402cc12a14
results-80500-4
890 Bytes
sha256:70f7fb67def91bafbd9eef851d4838bc22416cbe64e44fd502ea61eb03660243
results-80500-5
628 Bytes
sha256:06a3d65cac1f4859049b15f3bf2a34d719e6633fa21b5f6ee5866e6b91bfb935
results-80500-6
642 Bytes
sha256:dabeaa2e76cfe5c5cc3c51f230fa7028bfdacc9dccfa8c4a76049ca5a2ed8439
results-80500-7
753 Bytes
sha256:9acea8abb5a33fbd4c3b8d14fe662eba12013a02bb4773542002ee32bd252fa6
results-80500-8
792 Bytes
sha256:bd48743912617365689da1993573e3113aaa2f6454da6698071d3d436e312213
results-80500-9
830 Bytes
sha256:9d86ff648164253588e652fd7dcedd7b207bc2dd88dbeddf26bc1ca4b486700d