Skip to content

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

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

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

Triggered via pull request September 7, 2025 17:29
Status Success
Total duration 3m 27s
Artifacts 144

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
577 KB
sha256:f05046c41b0987f18cd4d9f4619cb55e897edd60901961c8eacc161532bee36d
playground-cache
538 KB
sha256:be4b42562a7ddc5b9a097f37c2aa786cbf77e6268234b64f28ab34ebd8d3963d
results-70300-1
9.46 KB
sha256:4c9de437dd1cc077773845011a01b92ccb3d18804707b5768676fcc295d63c6a
results-70300-10
8.92 KB
sha256:1265a86e45726b3762d8a1f3baaedc0b731cd50638d54eabf643f00ead01279a
results-70300-11
9.95 KB
sha256:5fa3fbf17718bc7ce038e807456bdedea824bffaf82cc8386a9e444697640fce
results-70300-12
9.54 KB
sha256:4a3f17b2bbc7811f1b32cea0cbdd5af2d928584e814f33b21da13ca255fccda5
results-70300-13
9.56 KB
sha256:f52243aadff4df15d0aceacf2bcce4027cc2742a895cc28b228af7dae8a6d369
results-70300-14
8.24 KB
sha256:c0e49f48594e07528e03ff6fb08263058dcc1bfa177f43fd2863eb78294ffb32
results-70300-15
8.19 KB
sha256:42a736d5a2f8cf6fd9045ee698f6d658709ffbbb27909ed71af0d1b34ce2afba
results-70300-16
9.79 KB
sha256:a767594df618fc8485a6d56427bf1a4666045532b6245f4dbca06848f4c9fe69
results-70300-17
9.48 KB
sha256:d4321d3b9f1dffc367f3e2fb3e82eb9e50708d59a1500639d1a5365282c254de
results-70300-18
8.73 KB
sha256:95b6883feefd2ce1596b4d3c820f56bf283334c72b6dbaa0f12264d60424b195
results-70300-2
13.4 KB
sha256:d64e3061140fd4f91225e9c7eedb872bcec309c25f2e38f5f55d01eb4d2424c1
results-70300-3
7.9 KB
sha256:dd36fa5366fa399a33c0f069dca6bfe2f367c9356b7401d35a02941c4598844b
results-70300-4
7.08 KB
sha256:b4ddd528a5fa51fee44976671bb7ff96443791de29430c9f6ae1c982a0ec0840
results-70300-5
8.49 KB
sha256:6e2a6a0331aa82138ceb5a54ebda547ac6545d1c6cebe17483b5e2ae81aa68d0
results-70300-6
9.06 KB
sha256:37102b02cd560cad97cacc332a064ca71baa9ecc50daf59c27081ea3134eedec
results-70300-7
7.65 KB
sha256:1fb10b873fbfec6a92a007dc91b1059bf6e1d5689b3ef079ee0a63e726e503f7
results-70300-8
9.51 KB
sha256:942bf6f742a80f0f66dc1ae9f738dfa3ad090c6fa830798b8810f6407c002e0b
results-70300-9
8.58 KB
sha256:2026ae13f8143352d08f2fec92d67d565a3a8688f128cee86e34edc9ca424b81
results-70400-1
9.32 KB
sha256:2c7e30ee5fad07b7ea9512c32efc066075c7a0a0ce8ec2aae67829e9353da741
results-70400-10
8.85 KB
sha256:2919f1f720dd229b4abe313f28919c870e46c9f0453130e281a19e149f5713ee
results-70400-11
9.89 KB
sha256:531bdde3a81b2f2d90b13670418d1341d529c4eb73c9155180d2b7f00e81d61b
results-70400-12
9.56 KB
sha256:3547037808e435a453ca8abc98cfde394e87fe2d3322234d08a66c90572d47c3
results-70400-13
9.56 KB
sha256:9593b7c3bc51985c61188cc13629b75bafa5d60a80b847ffd145a58e43db2604
results-70400-14
8.24 KB
sha256:632f7d500062056ad93f0bc7750cfe252e068a6a56329e652503a9533b4b6e26
results-70400-15
8.19 KB
sha256:79f18b8170dc1504671f64e8784fde6ee4f273f137f652a206aef379a3e0dfe0
results-70400-16
9.79 KB
sha256:21a371ad4676f8fdf14632dd74f52f8d5bd54d551ba745a9a2cd73850323639f
results-70400-17
9.48 KB
sha256:ca3dfb1cf91ea1f128bd80deaebaa69afa04577a97701a80b695eaed78cfc1ad
results-70400-18
8.73 KB
sha256:bb53fad678d2261fc663c7a04c9af4712c493686e696156eb05916fef62fef54
results-70400-2
13.3 KB
sha256:e00241809eccbab84e54177efb454aaf28ac35b018f90ae56e6cb31e1499487f
results-70400-3
7.81 KB
sha256:5147be470961b611ae0d401f3d6a4cb70267c22dc9f18c774969d7cef088e094
results-70400-4
7.08 KB
sha256:4794408f12fa3e3d88c9d0db6c48e3d739459a82df987e0dcbc89fc7f25afe95
results-70400-5
8.49 KB
sha256:aa61505cde1f4e90ab1d4caa0d08524404e5d209a2008b97650a9c42367f8664
results-70400-6
9.06 KB
sha256:fe1b4043d5b021fb3c9edc5400ecdfec8512616a809429d1d97cf43790659e00
results-70400-7
7.52 KB
sha256:7fb11fefa9531fe68106a2a5bc6246eb44c38762cc964dc04b76599bf753b3e4
results-70400-8
9.52 KB
sha256:954c937f1d76444fb5d97ca48e68ba45f9894bbfc7bbda2fa7ed68e01778be01
results-70400-9
8.58 KB
sha256:70f7c3afd13e7c059376e5d4575fb5255fe5a2ac909342f09fe9107c4ebc0186
results-80000-1
7.23 KB
sha256:eb8e0c6158baac68c20bd49691bcbcd680e03aafdceb7acb2244ca99b7a6a2aa
results-80000-10
7.85 KB
sha256:0ffa34610dcf22bfbca5d2ddd2150676db70c4bb8643eefc5e5e5c526196cdad
results-80000-11
8.39 KB
sha256:b59d61d6cc5375e9c23af4924d9c83ca01cbe95e51fcb1e8a29a8008817106a0
results-80000-12
7.2 KB
sha256:bde46bcd771095968564d531ccd64a21b614e63173ed7d31ea96c94bfdf3de56
results-80000-13
8.18 KB
sha256:3c8b8004cd02a61414d09dfb04e0b319c5accbeaa7068648b5ce088872fac732
results-80000-14
7.49 KB
sha256:51cb99450e3f317a6c6412d1f15521610a1e99a2cf228c75e0ba3592e33f74c9
results-80000-15
7.94 KB
sha256:c9bb91b672efa5cf35a26c5e3cc7b148319ea68684371f980d958ba17bc56a24
results-80000-16
8.67 KB
sha256:f9a29b65a6f60eadacbeb91e84fcdd4a0805788fa632e8620973300acc86d668
results-80000-17
8.04 KB
sha256:0c0b013d16ed269c64e586036bf9bc0b7a06a6cf040c280ad8477016ff02c65b
results-80000-18
7.41 KB
sha256:2beaaf57894fc685e67d81ceb97c9d7088a9a40ef62f34169825b8243fd44dac
results-80000-2
12.1 KB
sha256:26bc4ee0d70f10a6281bb2e20842232464a59cff4ebd16cd796dcc7a9e29b8e1
results-80000-3
7.02 KB
sha256:7505afa7bd213a60143127c40f1905a39a452d8905f5dfb2726a6970a668686f
results-80000-4
6.42 KB
sha256:cd7751328b8867fa1887aa1618bc9475d7bfb4499e80af2a434d328cb66865c4
results-80000-5
7.61 KB
sha256:619a857f788f1d296905294f93ef7a1cedb8cf208c0ffd3db477131c82b3b195
results-80000-6
8.5 KB
sha256:72fca76c128174184b8ba1a1c43e44725e37152347d240a9fe61a77180be24d9
results-80000-7
6.75 KB
sha256:58c8f2f476aed50b426c00bdc0128591fdf18bc3dadb0d67697a4d697f6e8861
results-80000-8
7.54 KB
sha256:3b7420fd87bf1904d853fc5add07117e6350eb3b337ad0a2b50441fabb17c426
results-80000-9
7.96 KB
sha256:cecaa08cefe7a77de11110dcd7a086370294f67794cfdc4b317fe02a27ca8341
results-80100-1
7.21 KB
sha256:5c8445de1d24fdbf3dd3baaa482670dbba1a1c40766c192e4a01bb0db8f8fdad
results-80100-10
8.23 KB
sha256:d18432ca7749e381f44200ef458d665c9bebd4aa40856e4fa521bdb35d82e9cb
results-80100-11
8.52 KB
sha256:f3a5233fde142457cd9b68516abbe5109ad640c76bbc7911218343c95fbf9f08
results-80100-12
7.23 KB
sha256:40cf5d100c73a1b2c557c6dc95448b3093a54e679d6bd205f8e7de2ea22ec384
results-80100-13
8.08 KB
sha256:6a8c4b73c80b93245ec87a5d26e1bd03a090b34642e87ea156f212927d57a562
results-80100-14
7.49 KB
sha256:76217267b0b6ff5fe03ec621e320550afe034763486f7bd62347fa4bcd102cf8
results-80100-15
7.88 KB
sha256:bcba4b3cb88944f931c7b73795bb5a2157a7d121dfb76173e60b200eb4b6d2c2
results-80100-16
8.85 KB
sha256:e687f78bc2cfb4936039304dbee304f3d76158d3bb5f29325d9e94dba1e13b3d
results-80100-17
8.09 KB
sha256:71c539fc3958d0e09413208a258fda0daa377d4efd35dfcd6050bbbb250e6424
results-80100-18
8.3 KB
sha256:57fba8acbf970538945df7192c38fb6c3dd91c6432a958590fa773d11642dff7
results-80100-2
12.2 KB
sha256:d975d6152bfb45789089e918eda4262d09b9b33d7c736d6d49548871beb120ac
results-80100-3
6.96 KB
sha256:b9cd86078544d398f8c03ab9b5c26bb1610841777168688724e87090be4c6ff4
results-80100-4
6.53 KB
sha256:fbf8ffaa416cfc12985cea791db391498ddab210b9f84cc681f723a8d13dd1f1
results-80100-5
7.61 KB
sha256:a3e2161a489d543c93d046acf4b9925fcfdca12cd9e6d492bb954c5167b67ab2
results-80100-6
8.43 KB
sha256:116833c5984d7a39e5f02bc46a40f8cf6060489b40d01b113456368e617a173e
results-80100-7
6.59 KB
sha256:781cbd2b57649cfd2e8af2d0bcf7e8a5f71aaeedc1578e7aada86e2d1e216675
results-80100-8
8.32 KB
sha256:4ff91146a6bbc96b3b9d7738fafd38c312a99e2c3cb8317e2bb07ba39a1388e7
results-80100-9
8.26 KB
sha256:27070dee5632d2823449d4fa4ed2246982be00d80a528abe8aa542e5e516558a
results-80200-1
7.17 KB
sha256:38cdde7e40c9c378cf997f004fda9d3efcef57da925ed4e8f3c7658b2fb80075
results-80200-10
8.01 KB
sha256:bf96816c20c91818113f8db32ab4b3457a62842ea6d218c72658ad4d1fb5812f
results-80200-11
8.52 KB
sha256:2c136ce89588878c5deba9a7530e948052a1e304a84389d6196be93f83657654
results-80200-12
7.2 KB
sha256:cf0c97a9d63342ce3d0336471046c77ce05f08300b7c9322f34b7d471152c588
results-80200-13
8.09 KB
sha256:1ca5c26f5848864a1efdb8a4dbfe22118d0341ec40ce1cb5181b0adebd90c525
results-80200-14
7.55 KB
sha256:31b374dc4af05c4fc9ceaecaf9c458f86ce98b0260707ba6ced040210e0155f6
results-80200-15
7.89 KB
sha256:bb197f49e9a6150f09f28579cea96427d0824c2d120555c31467130309c06599
results-80200-16
8.71 KB
sha256:ff0ad1ea458ee87b83c5520cdb5d369727b937fa43408a43859ad74d43d20f20
results-80200-17
7.95 KB
sha256:a81ee7894fc0564a8cda8cbab1ae12292ff8e3c31f20fe044512550ad8016028
results-80200-18
8.18 KB
sha256:c513d4af86251790e83d1f6d426a07874d0959dc1e2356cd4daf2ac242ffaae6
results-80200-2
12.2 KB
sha256:24e0c7c4d1b5c4f4f4278c4cd3337c5ae02c916bab2bb24da0fdddc0cd0601c3
results-80200-3
7.04 KB
sha256:39effb4ebc788e9771ec53ec16c167369e48aee9281054eb6501191a7cecff31
results-80200-4
6.55 KB
sha256:3d306cddf018982c211fbb9f8ef7d0c4382ba7017ca918be04f7144c82069f7d
results-80200-5
7.57 KB
sha256:3e4f2e9b0b1c8c181ee8e2297839148e6d45a7342e5c8e1d4e586bcdf7d88b85
results-80200-6
8.45 KB
sha256:4b5a61fabf161c8b64ebc392a1bab38c02ccd851b50239d3b1fc6652f4d61296
results-80200-7
6.64 KB
sha256:6a6e296a04f4ac0911bda12169a3bf841b676d5d7de804ed5b9ac3848f073a20
results-80200-8
8.04 KB
sha256:e61237132f5e449e2429149367c65c1601a5957b1b3bc9494e9c01cccd54e5c6
results-80200-9
8.23 KB
sha256:6fe915cff1520e46d88f64bc5887a8f1820c1dc805ad98628be3c83de6d3d50b
results-80300-1
7.08 KB
sha256:13ac7077b95245ebe66775c8255bede97d7ee0d962b3f385025913ce8da25f06
results-80300-10
8.01 KB
sha256:c6b34142191f673a817b6998120799c3c8181e73a5e018657a2369c495d67f1f
results-80300-11
8.4 KB
sha256:1787a3e977d7d9b2bc0ca49f879fc39e830dd051aa0730818b381a3da62dcefd
results-80300-12
7.22 KB
sha256:0d7d36a6aeadcc2c09b35a1d25a6c7026b1d707783f0667a859188d3b54ba50f
results-80300-13
8.09 KB
sha256:3ef02346dd72f0e9fbf563dc892744d72c29f6bf238dd2738e8bdda3b37ac651
results-80300-14
7.55 KB
sha256:b1b7d5f5f1e57c5ff704558ba013a060ecd6415d43b11efc0ea1f2fa8b8383b3
results-80300-15
7.89 KB
sha256:936f23a38acd0a5eb63027f30170bad50044fe2010900156d620fb76acb5b5b7
results-80300-16
8.64 KB
sha256:ec7e4eed19490743752fd856e0617b6642f3718cba17c2f53bc9211da9bef031
results-80300-17
7.77 KB
sha256:ee9de1c65effd48b88e37a475e9515c7e5d1c24bced2e98521c590e66f573946
results-80300-18
8.11 KB
sha256:7a3f994899f7ff7f57d83ab13022484ee4546187ca055c8d7cf3957ddcc6fb1f
results-80300-2
12.1 KB
sha256:72a8cc93acd453d2a58647c26bbdb5f185ead65275154d3f05612b428c758d91
results-80300-3
7.04 KB
sha256:483455dfebbb0e3aa6df54868377203aa1597a6c599670f4a39cfc144e6836b4
results-80300-4
6.55 KB
sha256:96f394d07fd0f082cd585a86b604819f4ea5f98f682e24b372016e4a23fc4665
results-80300-5
7.57 KB
sha256:ae846a660e92188731412755db19057e50956bfd22da318cad9ac967f9e9d138
results-80300-6
8.45 KB
sha256:ec79567cc91d161083cb77c19d3654fe02d5eb1917046d2d063935cda499d168
results-80300-7
6.64 KB
sha256:d7827b97b11cb0ca1b1f79b9aacdd6a4d2c7f3c4df5365dbd1275b0ee284df8f
results-80300-8
8.04 KB
sha256:2ec5b6df3c3968fc1ad6a384df778eb04ac67eec106128b5ea5cac03ea245320
results-80300-9
8.16 KB
sha256:9b6c8db6a7caa158028a1e7f0e83d87858a15f4844b814094b832314e266428a
results-80400-1
7.03 KB
sha256:c9fda6f896a6a7189484361ddbe86a87a4eb6f1204be5b57f8bbe712ae3b4655
results-80400-10
7.97 KB
sha256:da762cf76a65c706d0eb8f8ca2adc29668695cf1205675302bf291ce2af2901b
results-80400-11
8.4 KB
sha256:bc192db821e6707042c76cffa5189b3f8326407e2980a42fe29bc55fe87037a5
results-80400-12
7.2 KB
sha256:4b4d1e805fb26f270958ee97eb126074836925100207aa73be2497506b904749
results-80400-13
8.22 KB
sha256:baa08bbd5469cf0be8e3948a00169d6f2a8f90a5f3d6b8fd3ce2b63f4e4e599a
results-80400-14
7.55 KB
sha256:6fb2e62caeea424204e492eabc9765518c67307e69953774c4adeff16bcc70e0
results-80400-15
7.84 KB
sha256:017c2ab492ea1c078ce2b7429ca927e5aedeb01ed3322bfe5599233cf23733cd
results-80400-16
8.52 KB
sha256:871a51b05726c0879b79ae21c1e8d557b2237672f07eee33a466a2d1e6245dd5
results-80400-17
7.77 KB
sha256:c673f085d8da40b3d28149774a80ea5d211552a2e7633373d6e65369d4d71784
results-80400-18
7.9 KB
sha256:51c6ddf5c711502a4c6a8451f339bd4577cde2c4efac9b139bd24b229ae6da9b
results-80400-2
12.1 KB
sha256:a1fad6d7a5dfd09201aaf8e65ddd0a98b0f39871197aab03f694d7f11e2c9b5b
results-80400-3
7.12 KB
sha256:0c60f95e3871d9f500e870dc85d48dd4bdebc0c2bc671f1fcebc69a31ddc1b2c
results-80400-4
6.55 KB
sha256:363a7154fcb3686f81d3a41454408f1b61f93c16cf3019445e4e66b9e9a30bba
results-80400-5
7.55 KB
sha256:eca754658522b6c039693e4951b844c2a819c45861dd1955dc192cca3a0f4993
results-80400-6
8.45 KB
sha256:52e9691db067988c4715ee154859b4c6951a5874c8d02b6692a1e87a3073992e
results-80400-7
6.64 KB
sha256:01d06d490b2376f1405b9db3c0c693df8edead0f42fbf8ad0f6ac57513bb4e52
results-80400-8
8.01 KB
sha256:c92c4a95fb3d3e022c3f8fe6b8cd11ebf0c9666d3d0e6141a3eee425cd97b814
results-80400-9
8.16 KB
sha256:6dd3a573424ced37a766969ca5b984648887a9490810a61506ca1a1240984fa2
results-80500-1
955 Bytes
sha256:3f0d384d6ca27dcae030319c0b813ab740d1280a6c9bf162418ec876a77e203a
results-80500-10
723 Bytes
sha256:185cdf577e1a8c39912e1fbaa06fa694ee5e608629fd5ae0d0e04fe3d6ef0c7a
results-80500-11
822 Bytes
sha256:38167245343b3a87d7842dd34bd23ec73d52c451030a24de2a5785cf557f1fa4
results-80500-12
713 Bytes
sha256:323ee04cbc43e274519621814c31be6ec4ab062b32dbac1cdba7048cf9b6eb31
results-80500-13
799 Bytes
sha256:71f1fe66513fb7d464690e92eaa1a8e3bef162f9b5a51ded30cf572878fb06c0
results-80500-14
968 Bytes
sha256:f86f42d5e7643301d1bf5b42915c97e8289512af2d818cdc3ca98d72e42cd2a2
results-80500-15
972 Bytes
sha256:b21f47fa8f2a2cd845c115225df0eac5ee6a61eec7d071d9ca33cf87c3c5dd18
results-80500-16
735 Bytes
sha256:b4784419e13363e9eb5c39eb13c9445e800a634a814195a1dc140f7a33db3325
results-80500-2
731 Bytes
sha256:4c359f13fc044c62cfd4cdcc3cd912e67e2588ff233f66d82242282a60a26444
results-80500-3
689 Bytes
sha256:d1ae417eeba2d730e3e75d2b4b20aaae511f80ca3ff302e3da23bf790a971b17
results-80500-4
890 Bytes
sha256:0092a109aa9ba1c30de88a29bdc7c38198bd49bf982a44b1d4ce21c92cac5d5b
results-80500-5
628 Bytes
sha256:86a94022da0d1a384e6aa9168b3a6e2b0863340db2f61986b899a1283e22547c
results-80500-6
642 Bytes
sha256:7708b85b1fefffa111a57d477f01cfb730b88c552b6499a4b31b5e4b3a7a9774
results-80500-7
753 Bytes
sha256:16a96f3e0ec2c5999c4f91869d0d98598d256bec640d6cf0744d9bd09c926a0b
results-80500-8
792 Bytes
sha256:0f7203389223452b240a6ed0e3e7ec99dee69664ee27060fcaef1a000120d72c
results-80500-9
830 Bytes
sha256:795123b711fa1b3b0e813cde7cdb3739b1a2610192578eac9d3d3c8107974091