Skip to content

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

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

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

Triggered via push September 8, 2025 10:52
Status Success
Total duration 3m 16s
Artifacts 144

issue-bot.yml

on: push
Download data
18s
Download data
Matrix: Analyse
Evaluate results
25s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache
572 KB
sha256:1580967f912dfa17f6d5295be49aa0b12fdf9736ce00af66fbb1c42f435482f5
playground-cache
532 KB
sha256:1efe83f71d33b5419d0abd2d6ba03abec5cc727e9961d582b151888f184dd86c
results-70300-1
9.35 KB
sha256:b863da92863ac2ce7372f83c6735158404248c37e088ae855ba7add9e9fd5e98
results-70300-10
8.77 KB
sha256:f92fd9da1c653f59e6e38d10ce34f585b01416177a2199480bb55840bdd72d81
results-70300-11
9.93 KB
sha256:c4dbbb8e6b9c8621f41d85b5e3b3066687401fc2b00443a443425e5ce401d7e5
results-70300-12
9.44 KB
sha256:fa50ec39208e293d3ef080f6cc94b915676a048a0f9af6e5e224ae4fff79c4d9
results-70300-13
9.51 KB
sha256:1bcae3ed4cc62d70b4d06b540cab754f5db180e67ea4014c92fb0dae9169029d
results-70300-14
7.87 KB
sha256:f32d1c9d8c4542fb4cb269a106e232c7a3298335b6fee310e67e7191fee1ca9c
results-70300-15
8.66 KB
sha256:30ff2af9c117e976f410c18b427aaf0d488f16ba3738da19893f5297570b95d5
results-70300-16
9.58 KB
sha256:bb6e00bc3f55dbc9dddef5a9157782008459d45046ef0bfcfd440a9dae4958a8
results-70300-17
9.39 KB
sha256:01f7de3b4de9ebaf06a9e3c8430bc244b7ab6ef14ae758ad45dabc6221ca9e59
results-70300-18
8.22 KB
sha256:7662105369e31d7a9d7502b5af402976870436a73e14c8419b8adf25a5113ad3
results-70300-2
13.3 KB
sha256:7b9b45efe339cc0511441a75d8c93329aaceb2c2d487ac0cc06f12753bf71a65
results-70300-3
7.86 KB
sha256:7e710d73abe6fcd781b80ddd84c697da926f8b57dd4804b772f2eb1b46bdc182
results-70300-4
6.99 KB
sha256:0560256df378733ecb85d79fb4f6fb8e8ad64e37b8651352a3d14f822645a869
results-70300-5
8.48 KB
sha256:79c2788bf3a452a0dcf13c93b0336a16e7254e6f234480994b54a4bf4372fddb
results-70300-6
8.87 KB
sha256:e3357968847691031eac59bef5fd6546bf23efe3b2404f51c947d27e72b1ed01
results-70300-7
7.45 KB
sha256:5e8362a026c5e2e42ea1e493505c9a2eee3adf6fe2541496a8cea46c219fcd73
results-70300-8
9.5 KB
sha256:e346a965d7191df45ac0ea372584397da2268a3aa1021d0c99dfa89a74bf2fc0
results-70300-9
8.53 KB
sha256:2d066c58663888ec063568d60da1ba7e69dd61a849d7c36cb5ba8fed96275bf6
results-70400-1
9.22 KB
sha256:742df32dc07e8b5fc763b41c227a7e8d04b73ac6c852d3126b86d1525e7aa97b
results-70400-10
8.71 KB
sha256:d876ad8b25f034849363350b903dd79c9fdffccddc28026b65595e32bd541eb6
results-70400-11
9.86 KB
sha256:cb2fe64ada390f733bce58c55c1b7837574d4dc23d2018fb6636828ef68565a7
results-70400-12
9.46 KB
sha256:0478dd07656023cecbe248bddd4a6d0945770d56ec24511b2175b2aec79359e6
results-70400-13
9.51 KB
sha256:90c8afa24fdb97ebe090793653dd8e87f734acf8fb674c3b507eaf7ceb27f7f4
results-70400-14
7.87 KB
sha256:95912e81d80be62383c7343faddf603b0313dd0b9de667d04f925bd4fd8a94ce
results-70400-15
8.66 KB
sha256:958a7a0a77acdbdfd9ae05e42302b8e1a437500a38b57a1f6da0713034d82bf5
results-70400-16
9.58 KB
sha256:3866f3506eae234a79ff826f034fc32bc2013aa6c61f9d489598af21e229e6c0
results-70400-17
9.39 KB
sha256:52e1039f173da333a330f9ced4dfc859aeef9f77b85b398e1dbbf250a912ac8d
results-70400-18
8.22 KB
sha256:292dbd93da81f5025edf26dcb30db8dbb6b91bbdc1d4690392a8669c0da0a210
results-70400-2
13.2 KB
sha256:98e13b19c9a74379dbe5cdd9b83ea4fddca9f5da3cfa542d5d78fc35258a4a04
results-70400-3
7.77 KB
sha256:cd79c8db567b90d23b78b41df68c1ebe1e8e7d5b3b7ef5dcd5a9108f816a4f05
results-70400-4
6.99 KB
sha256:4ea066c0406d83d523ec4cdd366cb76d3cffcfe409faf8ba77033c2a2d6ee819
results-70400-5
8.48 KB
sha256:fb2d248cfdadb6f863756d4d6de6f16d04e7807f2e47d667d08273ece942f775
results-70400-6
8.87 KB
sha256:5b2f38b6240a2e784b5300939c9a9ccc22b39fc27bad38ffe9beeb479583ccaf
results-70400-7
7.32 KB
sha256:31274fbc6b44b7264300c2e05049aed6a53555691a6fbca0343d9febebc921b2
results-70400-8
9.5 KB
sha256:922a4bf38f86be657d38a40d0a0c37d8e7eea9ac2071788885a5e28e5e3e4785
results-70400-9
8.53 KB
sha256:34bc6136e20fb66c6a61fbb8a7f33aea9bfa74838e547cf7a1c126b499dbbf67
results-80000-1
7.07 KB
sha256:5609e6357ae3ba7a9c3e8099c7dfdf7b51fa177e9f49fa0683b349ebdc263890
results-80000-10
7.72 KB
sha256:dcbd747e3aab4b47ddccd299e2b5e988a7570a4d6498c22ea1958789384cb58c
results-80000-11
8.36 KB
sha256:01354ef7ae5a640a1ec41d34bf006e30ba00671db5d2e4846a280424f84ec645
results-80000-12
7.1 KB
sha256:5159b4b1fa702260e8960231389f21c89a9dfb89e626c7eb97b94aabf6c7a988
results-80000-13
8.14 KB
sha256:2cd871c5d22225caf86dcd16136b4c1f3c5bc8f7cb30d4825a10b31f0d46b941
results-80000-14
7.15 KB
sha256:313bf511f53dc6117e8c6443bc560317a1bced511d911d59e6c551531fb6d8bb
results-80000-15
8.14 KB
sha256:61f19c26bc14cc3dbcc768b41af9b527f3d0326befd048fcc4d513c72bae8582
results-80000-16
8.64 KB
sha256:f8b8f39b1789fc3bde759640a1487d00d11ce465eb2f1c4c3750f61cac1e778e
results-80000-17
7.92 KB
sha256:2326030e0b554f88daa3d5418c193b7176a541ef860c08df36d6cff5c7860b6c
results-80000-18
6.94 KB
sha256:d4446b2ab5e9d1e5b19c9b84a67fcf5e776286ce92a044f61536520da4e1770f
results-80000-2
12 KB
sha256:3fa93d2bd034f76c9164d896edddce340e33d580969ec58dfe7bee7e9c0572f0
results-80000-3
6.98 KB
sha256:642508367cbbc27fb6fec28091255f2f44cece57277b6484f90ebfca3ed7a373
results-80000-4
6.33 KB
sha256:09312fd18c5dbf5ebe72a15c772a1ddb9bd62ac065f70c394a13dc8f162f2468
results-80000-5
7.6 KB
sha256:3851e4efb6497c6a67f8ba8996af08374b8677b6583f7564e7295feb9ba6103d
results-80000-6
8.31 KB
sha256:d6a946cfc95f1ae9f144f5ffdba2cc6142b1f53b3452900b89bab5d80120a1e1
results-80000-7
6.6 KB
sha256:2706bd5630aacc7fe17d401237379e6f6fa18c4d49bad8a88c977a8a82eb4dd8
results-80000-8
7.4 KB
sha256:4495cbf918f7b1278553c91c866aad8ed3c6dd67b8741e84ecc25d361f5f226f
results-80000-9
7.92 KB
sha256:b84c8c1fe7a15656db9ada8837eeb41f43ab48f588bd9aee10a1e79842f71c08
results-80100-1
7.06 KB
sha256:e3db6246b6fa3901f6362ea13f98043abf719332c5f3ca00b13c1b8158729ee8
results-80100-10
8.11 KB
sha256:132094e25f35c4887b051180943ab7ab914426174fa46a553ce4349aa96b3885
results-80100-11
8.5 KB
sha256:b23381d9bd6170f19ed3e20d248c49549d344297580f6914c81dd24c5d878f6e
results-80100-12
7.13 KB
sha256:a8de51e56dc538a8412784029191bd3db2ee47f024b82d7db04977d9c9f3159c
results-80100-13
8.04 KB
sha256:a3e8a482441f9e8ade45b90fbdb41e71099eb8da924d46f991f341e076980ce5
results-80100-14
7.15 KB
sha256:a9d27222eb14c6e2e2ab63c6d320f957207622279c9e5387de05fa9e09b7770e
results-80100-15
8.11 KB
sha256:317dec2f6cf0f7a5f7e91362d52a27457a58555768549abc5a600ac2bcbc25ba
results-80100-16
8.76 KB
sha256:c36ed6df1dc491ff5a1126cfa401b279e5caa9ee8de0fd92fe319382d2f19fec
results-80100-17
8.57 KB
sha256:af6a83fbb01dc220c973913bdda693496a74d76508294dc27130404ab6dbe804
results-80100-18
7.17 KB
sha256:4df25dd0b703df6aca0176e5d54523a1e6ba39b72221bef4bd56f3bbefebbae6
results-80100-2
12.1 KB
sha256:6c8735bb5fdf1d232f03f99314d90a931b5ab6ff8ecbe2199570a37b558ee195
results-80100-3
6.92 KB
sha256:94af58428ffb2b080db170d5a8222ab814dc6d59dbb8599d62ff9486625f9839
results-80100-4
6.44 KB
sha256:1bfd100e335bd197165501affb7b7cc02ca41980597992dc8e306ed03f9a28d2
results-80100-5
7.61 KB
sha256:1331bf6167b21dcec9ba23fb259aa9d08365bd5b3d978703b8651906f35a8cfa
results-80100-6
8.24 KB
sha256:c54fb633afde660cf596639f09924263e14b4cc292a809abe7429a7a4df8617d
results-80100-7
6.5 KB
sha256:ce7fbfbff5f1798e789223a3f316dafd1aaba05a70cea58fd02731a1e44a9965
results-80100-8
8.17 KB
sha256:ed088177a833570e396dc1081f52f4ac0c3ead9d9c63b0a5642dfe16bc507830
results-80100-9
8.22 KB
sha256:102ef32cb06901412b2eb5028ddca5687a5238238872f67dd339c3fc8da70dc1
results-80200-1
7.02 KB
sha256:eacfa5d730cbb7efded5315ff872721ece4565d509510a333fcf79680d953643
results-80200-10
7.89 KB
sha256:70743ac4345f14284efc4d9c61f4d6728e255280086d9cc0869ef84212a1ba00
results-80200-11
8.49 KB
sha256:153ba6c88bb35dacb2cbce062185c3189ba8e4b2c06e1d0a71344f7bfad5517f
results-80200-12
7.1 KB
sha256:56d681591772ccce5cad085d652ea3863c29f2f146eb8376b5a90c1ba21a76a8
results-80200-13
8.05 KB
sha256:f20405fac9ce17d2c10769672502e1489222f8fe1849775544499a5ca13258f0
results-80200-14
7.2 KB
sha256:3d9eb7c567783f5351361955fd879e730c9afd08291dfef5537ecba4e7cedb1b
results-80200-15
8.11 KB
sha256:d09ed03d186a16d91049e419b0283b45879a984f1bdcd4c849ce7206ab368ab4
results-80200-16
8.66 KB
sha256:8f1166d770762a9e90bd4decb1f8e058b7b47e3f6a22aeb464ffdcbc09be89cf
results-80200-17
8.39 KB
sha256:eb179f3f7bb4e8a93d0c3c9430faa9160771d7a433ca04ce50b7a332034d4d65
results-80200-18
7.07 KB
sha256:4ee0267a28b98a240426ae1a7130da143b6af8206041afb2ebe40a0cb413cfc8
results-80200-2
12.1 KB
sha256:ee80816edd139e684c89588567d0d214d4d0f1c46fd300da3ae48e857dbcfc21
results-80200-3
7 KB
sha256:e4dcdddc1aeef6c99fbed31e1bfd9cdbbfa73011b901e2bddce4b2ef20e05ea2
results-80200-4
6.46 KB
sha256:6957575ef7b52727a49b8a3df1420ed47b7db63ae5875fe2bf29c031e3b4c0b3
results-80200-5
7.56 KB
sha256:68f15c52df382f456ff6e58a05bc58962774a3f0b77acf283ab5f01fdc63912a
results-80200-6
8.26 KB
sha256:14491fbfe169e1c303e0d03869c6864ba520f38161ab1f891644c67689bd2f00
results-80200-7
6.5 KB
sha256:ece05949b651072b63049180f7ee92edbd1bdca2b4403bfaf481b45580f4831f
results-80200-8
7.9 KB
sha256:bcd8b79bde2729d331c8e97f02008a958dfe44fe640169c11ea2fdddc8e4672e
results-80200-9
8.16 KB
sha256:f1a6176995d4c31605fffd5986d9f6ba3750d8699d7c7e3cf28c6c18fb355ae7
results-80300-1
6.93 KB
sha256:e1ea2e46bd3d8ae8e7ae6b4f4c8eae5ae91b6d86ec71d49bc6f84b90981fe0a6
results-80300-10
7.89 KB
sha256:bbf19cb482f05951e69c24027e014127aa1701d027603166a863097c5b720872
results-80300-11
8.38 KB
sha256:559042d2c588288c992f5a8cb569b17d54aa18cce1c1612839cf0ec88ad835a6
results-80300-12
7.12 KB
sha256:a8ffd11adbe6485f2178f45b572847d7bb1fa4ac8551b06047bd8b099201cc76
results-80300-13
8.05 KB
sha256:da788ebac4bb0b450f3af6094b59777fd3081b19743b80a03850c6b806a6d91f
results-80300-14
7.2 KB
sha256:8e1a4dac469bf3d0081a408723d32668cc189c5165e610cefcadd59d3c592cc3
results-80300-15
8.11 KB
sha256:6ea43df166e89e689ff4ef59f448a6f8d17b7b89db7e570abb7d3d21b4227e8b
results-80300-16
8.41 KB
sha256:572fcc82d4e58a15a2f1f43b6dead755653bde7df5092f05dea5d8957aea4dea
results-80300-17
8.39 KB
sha256:4f11fc862d3e6c195b97fe27f6fd3b92357528e6da86fcf5bdfb2d912ccfa77c
results-80300-18
6.93 KB
sha256:6c42cf9917d1315e2418f66dd1973f4aa684376c6b267b1787c67c4d29a40781
results-80300-2
12 KB
sha256:919befd72f56a18cb3409713af8153dbb8701ae59ef28aa9d683a487c4b67fe7
results-80300-3
7 KB
sha256:ab594c5e0db7965d8018782f5d9a81c72c58bf654f44192c8fe2dad293d135e2
results-80300-4
6.46 KB
sha256:46e0a0ec3022dc8b4abf5722f32202052061f64fd029ba971f4e786291a599fd
results-80300-5
7.56 KB
sha256:29f9fa898d208f925f3838bbf2d85100902493c99dd948e0bb0e55739ec98658
results-80300-6
8.26 KB
sha256:4396e98e3bfa55bf5c76808396bfb59c34cec76cfb1d09b02a82badb51a1fc5d
results-80300-7
6.5 KB
sha256:01114a2c9ccd4a1274956640880a1f8e6cbfa5ad2ed187834b3ee032a8d5892a
results-80300-8
7.9 KB
sha256:0bc47f174703142199475f09eb6b12c303b904f2600af69c3e6f9613f940cb70
results-80300-9
8.09 KB
sha256:2f9a2aee904c3d9116f6ba4ba2db2d06fc1fa8c83c1ad1a361cce2fdd74fa143
results-80400-1
6.88 KB
sha256:5674d0f2f675d1130209caa50c910c33e937dad9b6aa96570f35fae23a6d3e0b
results-80400-10
7.84 KB
sha256:90769ffe8764914b90411b86174b80547d10865cf292451d989fb7327f16b448
results-80400-11
8.38 KB
sha256:8ff53632ecfe7f3355718dca3ddde008496cd078454d1e40a3d87a7d1f8bdabf
results-80400-12
7.09 KB
sha256:8543efa6b9b7458c7b183fef4e0a420f5572adbca03e9e681c546867d4298b8f
results-80400-13
8.18 KB
sha256:e6cfa466ed5acce784a08df6bda3abb512acada6ccf2ed6f98e16fad0e86ce60
results-80400-14
7.2 KB
sha256:38745f9fbc2170081c07bc6b15d636aad878d4881cb3a423cd01663ca095620a
results-80400-15
8.07 KB
sha256:22d686ed7187be71cd4de841e0a27f3f96f4d72e3d3b3d1e4b8a399ccf16dbfb
results-80400-16
8.29 KB
sha256:c31554cbf3bacfb74430bb749413c353cf413123f8a2d66ce3fc416ffec02bbf
results-80400-17
8.39 KB
sha256:da0c0dbbd2bd379af4b9613bb4cc9c623db04280273c1521b6ecb9d48aee7446
results-80400-18
6.82 KB
sha256:1d842a6673dc5157460bc926701c318434cfac1e61cfdfe9b147920cea470f7e
results-80400-2
12 KB
sha256:cf454418f117a871d4b6da35eb74703afbbc1332f91cadc51cf9fb204acb28c2
results-80400-3
7.07 KB
sha256:cdb171e9553f7893beb2b8db811b96fc0aaf0c64ca42353e6dace42d2655509f
results-80400-4
6.46 KB
sha256:5234f27f4c8388f9302edc7d893e1375688b285ddd68847ac9b5480e9d55cd43
results-80400-5
7.55 KB
sha256:14855c98cc23b2a1b64a1925871d1f00209e9ba697c8ca0359167787408afc3a
results-80400-6
8.26 KB
sha256:4631d5b15180285a3f265aacf657e385abfc1cd2d719607756c451bbc1a075a9
results-80400-7
6.5 KB
sha256:294d9c8d044e7d8abc42ee8a6ec81454aa64050dd39b0a18022b2a0a678a8d56
results-80400-8
7.87 KB
sha256:76eca4da9adabd910b10e9a4f3a3ea09fd47146e1ebbee18b264bcdae9c1273c
results-80400-9
8.09 KB
sha256:3579dc80fba5494ec44619bb3be708a327437293673462bf11a0c17eaa6d4e8a
results-80500-1
955 Bytes
sha256:0f410bade2c8c64e3b8b2745cfbbc0924431fe294a75aec9b26db274e630783a
results-80500-10
871 Bytes
sha256:0005954c358a5d107ad4c6848c06077bddc58efa0a8fee4669a25525c50dab5b
results-80500-11
699 Bytes
sha256:8f6de232b26a51730cc519a703e454bfdf469ce86597d5bb8d740e950d397f83
results-80500-12
989 Bytes
sha256:d4f15fe9099b55d93af924a1263d07602e5c523282d70364c6cea48af31a87c8
results-80500-13
829 Bytes
sha256:9cfbdd7cd0443b286ca5d3394ed538c14301d1b7c63a6f5f9fcd35c73aa50f5f
results-80500-14
909 Bytes
sha256:1a6b8ef614f1dddbf6231d4c084bd3997c9554b5b44d74d57d9a3ad30580acc9
results-80500-15
736 Bytes
sha256:d845b3ddeefd6ceb3abf086e078899e4b64b8925254fb03e01bed231fb61a5e5
results-80500-16
318 Bytes
sha256:b75b4be25f21bf78caff8656cdef7facbdac79193b9a59b7f23069e69692f2c8
results-80500-2
731 Bytes
sha256:a1e195c763389303dc4be6a62af6aeee2eba6bf845adfbc5693ef4cbe75e63bd
results-80500-3
689 Bytes
sha256:6bec6829176517f0c4013dbea5910e8e81cab719b7ef0fbcc70a102e11e31c42
results-80500-4
801 Bytes
sha256:f5afb8a1c76a7c40c173c5c7d460cff3718b0bc95b12df502e21710e3b6a8a6d
results-80500-5
774 Bytes
sha256:dd9cbe1e3f56c6b9e33dfaae4c06e78af4495eedc426728c3f5380af4825d27b
results-80500-6
679 Bytes
sha256:42ccdbb8aa1344cf118a6e009dcbe979871b1e4db1ccd4a07854fa6847cd56b0
results-80500-7
758 Bytes
sha256:ae82e5a2eec7050a5cc7299e05deffc186f08da346ec0a98ae7ae5c0d1536fb5
results-80500-8
795 Bytes
sha256:0bf7625169a986a16af76723d2300fc30c00acdccf1970395ed1d494c6cbd2c0
results-80500-9
705 Bytes
sha256:84680941c7fe2bbd943e09c8b390c8b5c638d29e04b4ec0fa66c259904e7c9ea