Skip to content

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

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

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

Triggered via pull request September 8, 2025 10:28
Status Success
Total duration 3m 28s
Artifacts 144

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
575 KB
sha256:c537f07e2e9b361dfd98a306c72b36aa9cfd82795e3aeae3a25aefbf21f54c09
playground-cache
535 KB
sha256:ebba9e5ec61078b24dcffab458cbc778cec259cb36bc04fa7dd195510a62ca53
results-70300-1
9.35 KB
sha256:47f836f6ec3e332934de007beda3f1186171d9562c385d006c0a3f8333b2053c
results-70300-10
8.58 KB
sha256:1ddbc32787e23cc9a387410612fd00730a1afbe604cbec237e55e3405138c1ec
results-70300-11
9.95 KB
sha256:c2303222a3c70edab7267f28f9448ecd6dba41348ba00421869691e8e0381713
results-70300-12
9.68 KB
sha256:ae063020e03fbbbf9d04d9e869de1a72ff5342d2d70d30127f7a8024f75e0e23
results-70300-13
9.51 KB
sha256:6dbd363c708e0c55d2db9100df6fc19eab85d48b4b948cd8d0e47e160cec74fe
results-70300-14
7.67 KB
sha256:7ce96302647959fb5fd91331be54706a3bef3feb0ba414c177a71eead2dc6409
results-70300-15
8.33 KB
sha256:42d9e24c495cd6e1a3724b218f8cc55716af6ebc616fc48b5de886b5271b4430
results-70300-16
9.71 KB
sha256:874466ba8e4aacfd726402c98877794bd32da6050ea029b7fb5e1d6d1eb6e44d
results-70300-17
9.43 KB
sha256:0a55e953b7858c7ff9eba571a77dcae480e211516bb4c501fb985e970a9558d8
results-70300-18
9.18 KB
sha256:08acf891bf21003b3616464db716063aa77f131fbf60acae1f2dae182b7749d6
results-70300-2
13.3 KB
sha256:ea28e1ccd4b322f02ffc9abec25dd509e1ac3a4695e0c416a015e4953a31566b
results-70300-3
7.86 KB
sha256:957a6730cfee29394beb510c656771472ca5cef6d211706ceb2ac114ee878211
results-70300-4
6.99 KB
sha256:3176a823e60dbae8cf5a23c7d591f61dc2236978a8296ad3ab4a057832f06ba6
results-70300-5
8.48 KB
sha256:a72e5763c2b5b7144ab23d0d295fc7f908f99e47a15d2c5f04efae62a2403639
results-70300-6
8.87 KB
sha256:1b3a3bffd245a9b3dbc0e3081f4976912e94b8bc756c0dc33bb35a7db444d39f
results-70300-7
7.39 KB
sha256:793d91d586d4228789e0018c57e26e3d189e77d450a1a535a27d40a903c09cd2
results-70300-8
9.38 KB
sha256:232851033e8b06ce12a88b88807a0313f693d1b23eb0247cb8bb39cbbe97a894
results-70300-9
8.53 KB
sha256:cdea77759f7184be1b2b6822fb813d0e2323034ebd9a7844631c974af2c047e6
results-70400-1
9.22 KB
sha256:6370e621e706f402d33ffd0f75328899302771c45bbcdedc1459b8ed763b5a64
results-70400-10
8.52 KB
sha256:d347e428ee82ec677c6b9d1cb6d9e3b0b865eab9fc40d8d499197484e1dcbe5c
results-70400-11
9.89 KB
sha256:5a1f9b271511c02da0aab05dafb890573db98c2bd93dba08f16dc3d3d33c796a
results-70400-12
9.7 KB
sha256:42805beb61b1ce1fd6f8252f9ff7bc9b12b9e8a81780149061faa2367c734add
results-70400-13
9.51 KB
sha256:be6db955bb403d422ad5e001b157468692ae2098ee0a21959d775f738a43aae0
results-70400-14
7.67 KB
sha256:587ef3fcfe6be2498d9981cd40d5bf4deb8be18c335e5129debe85f67068338d
results-70400-15
8.33 KB
sha256:20771cee730d19c603943fedc8b83e0fd8457f6550e296cf62e154f14f5f00d2
results-70400-16
9.72 KB
sha256:c3c322ace9d190485bc65ee3b539bff4fd6bfc8f96b9f1be4ffd100dd6e0cab8
results-70400-17
9.43 KB
sha256:5b116e65df5bbbc3ceb7ca59d16159d6a9bf696ed4d286c790f59a89d0d1b3e8
results-70400-18
9.18 KB
sha256:c127d4c74fc8a6033534ae58df1226f64d291f77d89ae2ba2becb9f5f518dc2b
results-70400-2
13.2 KB
sha256:221fa06a53574f3d00ab9cab5db951eaceed8bc399ac0262e392a677aee06fd3
results-70400-3
7.77 KB
sha256:6aa7c9575521b9ae529b1b72f7cf82671f02f21803bfcdc5711a219c5b3ac7a4
results-70400-4
6.99 KB
sha256:d1c3b0f5b5c41b6b3ae9f4b4ecf6b2e7d899763daeec57ad69d09eaa4e987b08
results-70400-5
8.48 KB
sha256:42651ac3aedee993f95c3c410919ecfff3f8db662ae6e51827c6f7cc9471fbe9
results-70400-6
8.87 KB
sha256:494468fca51cbfab1c9e8cf4f505682f133cf531c5aa11867c5f6f27a6743a00
results-70400-7
7.26 KB
sha256:bffdaec33a4a294b90ba861a932e8b558eb253cc9eedb90a287ff2a7685b0751
results-70400-8
9.39 KB
sha256:05e589174a2d607378a16a3eec4d7d539140f866ba04aecccf1596151efc5f85
results-70400-9
8.53 KB
sha256:8f80f6c218f049718ed5da83d57abc4b40f2341a43119f1046392bc1c8c9e24a
results-80000-1
7.07 KB
sha256:5d4273c2e3b8c10aaa00dd01aaf7db9e6f8a0dd2f25121edc5ce32dd5c7e4480
results-80000-10
7.66 KB
sha256:6f13a5143de1a94a880dab904adfcc1beb8bfaf2c4091ad1f135335a86a6e623
results-80000-11
8.31 KB
sha256:34d5a6f680a644d3da0f7da4a409804c4b71310b8bd45db9b347dca3eb13b899
results-80000-12
7.27 KB
sha256:c9ef5961717dc1256af02575a6837a6b830538b64a0b490d9fe08d3cd81fdda6
results-80000-13
8.19 KB
sha256:76cb70da71151c498eb1cdad13e56008e9adcaed7a206cf12fcf6d261fdf5557
results-80000-14
7.02 KB
sha256:e604a8ba5d7102d0614ef757052b77265af8a917f6ccfba40eb86d75e70151ce
results-80000-15
7.95 KB
sha256:5efbc19c286b5687bfb521f66b8b295e28ad145581231b1e3916596c6c0604db
results-80000-16
8.65 KB
sha256:da3464cd7ae7cabe5df574feae20f13aa889b0a4a8d1d7888135becf61c83e57
results-80000-17
8.01 KB
sha256:19776ec26887310cc906d469e7d3b8586df3dfda0bf3c4e8eb67fd6072ee8d16
results-80000-18
7.85 KB
sha256:87c6dd8f861f4412cd7315850e893cbead40c56b19590be1eb1cc3c5c1d98c6b
results-80000-2
12 KB
sha256:370d93d7a662f6e2d7a4a92c5892b04017f1755ad3d7763f20d678f15c044018
results-80000-3
6.98 KB
sha256:ac2a3c609f115aa982b19f5efcfb146796860704078531a088c5146d9540301b
results-80000-4
6.33 KB
sha256:15eaf20b61708eb96f5b75159817c537758299543ca784e06e981bffd84438ee
results-80000-5
7.6 KB
sha256:7755ea5dea2e2f2d6624247a9dc2fde895f8e280cc655ed22d684f64021eb948
results-80000-6
8.31 KB
sha256:f4a0b8bcd61a0ce3bf6f72f75448494766a95b8b8dbfe1ae2d1c83ed35b80525
results-80000-7
6.7 KB
sha256:8f6152e676e199cf9248e902811692264cee6f77cdd93cb88a55ff7c5c494c08
results-80000-8
7.27 KB
sha256:7a64ab5e6375bfd4f81edc939090a3d68b490504370b509f2bf4119a8e07fa5e
results-80000-9
7.92 KB
sha256:c4e77a3bc6353c864fa1fa1482efda771dd9a3c5d814c99af134ca0e38babb4b
results-80100-1
7.06 KB
sha256:066a61e2725bd7b6cca59b7cddc8a7eb84e30ec7bcfb9a1499cd1b6c254d4bc5
results-80100-10
8.04 KB
sha256:0dd845255bfe78525efe2f56351b6e4289ea3a70ce44c6d021700d0e32b34220
results-80100-11
8.45 KB
sha256:72da0fddadf837bc4576d97001a59ae01caa1f68e70489ff7d33644513fdb381
results-80100-12
7.33 KB
sha256:3e87ea3549ea7f9a2f0709563c03ab5c59561b8364b067f0ce11030def6b6525
results-80100-13
8.06 KB
sha256:61fd87baca67dab3b74da98d43082edacfa032851a2dd5041ea8ba26481ad9d5
results-80100-14
7.02 KB
sha256:f8e7e2fc2b1d4796d935cd7c53c63632d80ef5d366f1c0c30f67e758a0257bf2
results-80100-15
7.9 KB
sha256:059d155a1abda74f028022cfd5e2fe6fa599fd89bfdadf3db9b31913fe13c277
results-80100-16
8.9 KB
sha256:19cfb59990ef91c6a28cd5a475ab194e6f735f37d6baef26d10486061e927af2
results-80100-17
7.87 KB
sha256:3921a27a96606dd4233bc1b66d3b2e4ce28d23eaa70a1a59b2d2e4f08f6fab3f
results-80100-18
8.76 KB
sha256:6ae32114860809812096788fc3431119d60cddbda02aaad55ee387cceb13d3f3
results-80100-2
12.1 KB
sha256:09507f8b6827963e5862fbe25f33aae64833063ac314be6c3879d3517f94011d
results-80100-3
6.92 KB
sha256:6f59bcc2d2e41dbd69c3814cd0d6fb81486bd7862a36294254fa372b3c8c285a
results-80100-4
6.44 KB
sha256:2895bdd59973769473bce062ea3fc80f3f52477f19cd36084cda89c71cabc1cf
results-80100-5
7.61 KB
sha256:3694395eef848c3358ff2cfff0b2e4d2b1d7c6ff899fd48eafdcfc6ac8aaa93f
results-80100-6
8.24 KB
sha256:4304a941e61d5d65be2b26c2c18b45624308dd60842c6c93d7fc188f4a45bdf7
results-80100-7
6.6 KB
sha256:78eb4249b6a2afb7f25513c66140aa31d3ca4bae86be7f2b9d05be0adc7975fa
results-80100-8
8.06 KB
sha256:8c0f3304499cf4bf35886fa80f5b47c1982b9bf0db8ae9b82bd761fa79b6f23f
results-80100-9
8.18 KB
sha256:60a42c584e6c9a638a883b5c5814def162207a7414add6720b6710a23f1fde9b
results-80200-1
7.02 KB
sha256:adb7a3edbd9c29ed1bc796a73fa9f0e9bc168999af583161bbc24fe4436b94de
results-80200-10
7.84 KB
sha256:7dab1b9eed044133ebbab26c1849bb1499a5298ee79fe4ea7f2b491559a03728
results-80200-11
8.45 KB
sha256:ff2e4b45a54a04e7c1b5930f00b31cb850f76dcb31272ddc55f17ad61258b525
results-80200-12
7.32 KB
sha256:593381c278f58d5e5ceac8116bc08270b19b23e71278164166686593dff5595f
results-80200-13
8.06 KB
sha256:e908871158b97ed2b04674aa5e5fb9be0fcf4a5a397f25b13ed12c213c00d0d4
results-80200-14
7.07 KB
sha256:e2393ac1fc03e46e0ae09bda11c05a029c3668f250926588b4b0118ab6be548e
results-80200-15
7.9 KB
sha256:d2da7abf9381d1ae2ec036c8b1072242c7403be21132b9341380d7560c275c44
results-80200-16
8.76 KB
sha256:e9790e0497d0c0664e581eeb9360a3cda85d8effbe8bb10f9c1e83341e24788e
results-80200-17
7.73 KB
sha256:5f80117d2d4a877d945c0694d317e0e4b4fdcdb5e30f06b7d2a836015e45eaff
results-80200-18
8.66 KB
sha256:6de1df136edc86935ac6965566bb22e83d342a41d61ad4b8f7a49b025149eced
results-80200-2
12.1 KB
sha256:98f01e654d9743812abc8fce10d73ac6fdacba081d55a33a33ceb80bfc5a38a7
results-80200-3
7 KB
sha256:3b10f5086c59acd3c8e2cc16a5be2df83100010fc7f2319f599367291fd82346
results-80200-4
6.46 KB
sha256:e2ecf895b2949dd2241143a7b538b0d3d87acd3fcd05836710354bacb610d5b2
results-80200-5
7.56 KB
sha256:64811895483868806a18ca4091853464621efdc52e4d6f60e808cd57ba5f3978
results-80200-6
8.26 KB
sha256:edba52d45962704dbd022c6e269a2657fc5f74d15b6db5a6ca6246f64107600c
results-80200-7
6.6 KB
sha256:4e00b58d2ff3ecff11ee40d125e5ab006ec7dc677645fce69ea32732ec4bb6b3
results-80200-8
7.8 KB
sha256:81e0238644552d685e045dafb6bd066506fdd037ecd8a3a5d17077a63bb76f19
results-80200-9
8.14 KB
sha256:3b8e918bc405b3e783d89cb76e27a6b6c436130042052f25b11d3f2af75c3d1a
results-80300-1
6.93 KB
sha256:f856c81a5f22c8826ab63d066b56009147c5187e8521739382184cdf93745c70
results-80300-10
7.84 KB
sha256:539f570185c419babd9d94283e4e686e8504ae1f3bddd1d05be96eea69baf980
results-80300-11
8.33 KB
sha256:1dcb822aac910227833453fd3bb1bb387fe469840911480241e98dcf9dad9893
results-80300-12
7.33 KB
sha256:d949df5bc918f4ac56c311e9897d05c4dc9ae3ee6121a450329b16f326b537af
results-80300-13
8.06 KB
sha256:8bb7043cca4bacf132a047c5422a332018be6cde1d1d66ba8269846d7e21f9d8
results-80300-14
7.07 KB
sha256:7e6fa4dfcdd90cabb2d8151e20b4c0c560647cc15df7e66c400a07cb2b5a421f
results-80300-15
7.9 KB
sha256:a2f0e0e286b9afad774078725ad5f120adaba5dd083eb796300e3c7133b8b569
results-80300-16
8.69 KB
sha256:3c8d86d5ea39c9e5d182e316285d836b467e1122448b722bd116d82102329184
results-80300-17
7.56 KB
sha256:487038c6fa45fbda7dbec01bf1092e4e3c7e989bbf5496b18bc3f6a5bee1bcd5
results-80300-18
8.52 KB
sha256:3457ad8271c6175015ef3ca60714dbc22b9a6b3855f9105bd885ee7d7131c1c5
results-80300-2
12 KB
sha256:2a71fef0884e7788d62309ff98002c857ea77994ff5eeb7c806d866c4b3f2909
results-80300-3
7 KB
sha256:6fb86ce3afc5ee67d299eb7d1ad912575214ab14983446a86114083087827d9b
results-80300-4
6.46 KB
sha256:1033a2b2eb1bb5cd0bb45200bc39b87ed8fbfd9cac1ea732bc686b2ab7458b46
results-80300-5
7.56 KB
sha256:44d10a3a7de8a10e7db2890ef5ed030cae6acd0ec2e85063f50a5832a6395cf1
results-80300-6
8.26 KB
sha256:b657d7b3d878d6eccf3f1e08ac921f84e2a33ee3f005eac2bb105c97196f23ff
results-80300-7
6.6 KB
sha256:c5ebbb68ce5aa6bcc41513dd17ea6ff2e8be6ddc738ad262c6e842d3d92706e1
results-80300-8
7.8 KB
sha256:5dcff085098bb5b3c72b35157f1f2e0dabb0d91326e340c6b0149543c81c3844
results-80300-9
8.05 KB
sha256:0772bfdcf2d593da7487a119f6cf1b6b4bfb617855bb6020cf4616bc0d8182d8
results-80400-1
6.88 KB
sha256:e6d964756f47914ed1fb1c3b19500a3d097734c4bc7f65705b11c3923603139c
results-80400-10
7.84 KB
sha256:1805514573fb57fb1fd5813fc566dca97c36dc435398780f8df983ced3686e38
results-80400-11
8.32 KB
sha256:9cfa20d55b35cf094a5dac51396c649410318ef298b2f7049387aae419206977
results-80400-12
7.31 KB
sha256:97e1a71c6f89b567cdaf642e458bb129b76c833d5fc463e378126538c82ea2c5
results-80400-13
8.19 KB
sha256:66d920ef5d39d3d36cc9bca56e5bbf1f364db279830146bef09585fc1e5e783d
results-80400-14
7.07 KB
sha256:f56c22cbec3b69c9810d4497984ca3ce0fbde2d5493be86f6d9e5d200ebf7b77
results-80400-15
7.85 KB
sha256:ce555360bdca5b53cd2d1ac42a8962313987746a2cbaf6bb1cb55f53670ac361
results-80400-16
8.59 KB
sha256:56cd9a75cf31734a89e7db1d64528c8003aed02826fa9d42a288d1d749177d58
results-80400-17
7.55 KB
sha256:2bee29eae7a353bf3951613d1994daab045af99ae175cc5f5d2fc5bf320a8549
results-80400-18
8.32 KB
sha256:137c1dc7b23edc0c4d1db462846386ed326779a449f05dbafa97ab882721c451
results-80400-2
12 KB
sha256:1b7094069b8ff2fb955248dd280c71ea55326c10b409c2816d9a3b0e2c88d88a
results-80400-3
7.07 KB
sha256:208cba46b66eab1d5b8b050ebd764555e0e04715146defb3f14a499d66669278
results-80400-4
6.46 KB
sha256:02bc67a3c3da4eaa5d174dbe2953a1f871b4ea2cf431b60364aac6b2b54799c4
results-80400-5
7.55 KB
sha256:d159be00e3762687223c7821f4ba336343f6912667b33d25ec8adcde7c594809
results-80400-6
8.26 KB
sha256:781f5c5e1fc1ec220eb9935ed1e45aff0c72923383c207dd81fef2a0ab6729fd
results-80400-7
6.6 KB
sha256:03ca5e074c4bfbd2f4215ba8ba19089c96872edcc8e7db44f5f3a3cea8496b8b
results-80400-8
7.76 KB
sha256:85233df31a089ec0f67d8b55f1bd288072008eb98dd4ac88aa5e08ba635d2b87
results-80400-9
8.05 KB
sha256:d785e541527d42be3c19ded7ca919946a58e295252739d3a23a445d2e87d10f5
results-80500-1
955 Bytes
sha256:7e7a6bb08c3956bb1080fc5261f626258b668c1befe1a6108a780a72d86b3dcb
results-80500-10
905 Bytes
sha256:d9c076c66770261959d2dc615e1ba25eaf0f3aed6fd26feadedf296eb250551a
results-80500-11
713 Bytes
sha256:2af46679a713c2cdec578a09608d74c7f20ec56f1eb498143ea0dc983ceae59a
results-80500-12
799 Bytes
sha256:064e42d14f790bbca910f760237475ce81ba5806144db5f1520ec2f6cdd9894b
results-80500-13
968 Bytes
sha256:9a88be6a762edb53d3d416bb745ab39d34672493f7efaf1b8cc37710c9ff962f
results-80500-14
972 Bytes
sha256:dea2438946c4b922f94d2677539a69fa749520c91bdcb38d699635479cf4f52c
results-80500-15
735 Bytes
sha256:d1fea545444445bca566c2657946fbcf1014f895195ed6da528a77cce2cf8434
results-80500-16
497 Bytes
sha256:c79f8e67e833ee34d974028b13f72afebcf549bb089b8363098a83888b451b2b
results-80500-2
731 Bytes
sha256:78e3cef48431df86a439169db0060e026f7a6e4876e64d8ef69a302ecdecbc3d
results-80500-3
689 Bytes
sha256:04c91836c81bc02a4d14700b1d717b6eb790273e98ec2d2f5c381ccfd0b2c119
results-80500-4
801 Bytes
sha256:18dd479294f11f187a9ccd342d912890c034fb3dee33b41de95e41df4ac93cd8
results-80500-5
774 Bytes
sha256:1efd7a0651eb6fd407242e7b28662bb2d5e3c09c3d329377d5ff093505f63fb3
results-80500-6
679 Bytes
sha256:732a546057b4cee0cc2d06a5903a4cdb9fddf6d76daefab0fd7fb2b01b7fa147
results-80500-7
758 Bytes
sha256:f1811c0d4cc56844647e1a32cf435e6bfba986b820eb313126a7964fdf29b70d
results-80500-8
795 Bytes
sha256:24a57606b4972093bddb32c6b27d485d7fcc266a2e12fe9640773a0228749199
results-80500-9
681 Bytes
sha256:8c24661d3ea6a18796069956ffb218a96fcf9c9ba3068891e029988ee4d21757