Skip to content

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

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

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

Triggered via pull request September 8, 2025 09:44
Status Success
Total duration 4m 5s
Artifacts 144

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
575 KB
sha256:1132740eb40dfeab5149b6446bd91acc06f579bd62705b631ba5405c80c1733e
playground-cache
535 KB
sha256:cf9a8006350b255d4feefb87c0d8a0404716d708ff519cc1ef86a8f37fca1dfb
results-70300-1
9.35 KB
sha256:0a4132e83aad712a9fe3a370d2e4cd5b85484f56fe03dc4895d3c810fd2ad2a6
results-70300-10
8.54 KB
sha256:5a3ab52d2ebd8879cc37944a1f9cfcf8fa891358f8d2617a5b9886ec51031f64
results-70300-11
9.95 KB
sha256:ae5be0a9b6968ad8488f59b42f0b59dde1ee56b7c24afe357b6e7fb024a40157
results-70300-12
9.68 KB
sha256:b229a6a70e2231d6ecf6d664a5e9061ade0248e1902bb064ab27eae72f3dd889
results-70300-13
9.51 KB
sha256:53e26f946b762cd12ccde3c22bd014eb830adc408d0c25e5f93f1aae2cac69ae
results-70300-14
7.67 KB
sha256:bf399a71321aaf489a56358161cde050c3e9e1ecc51c55f9a2e0b2ac4d71d6e8
results-70300-15
8.33 KB
sha256:c08914de65d2caed1bb8594e018808cd396dc24cbbf3cb7fdafecc97fe1228ad
results-70300-16
9.71 KB
sha256:5c5010dcc943aaeb0e11ccfdf46d547db2f5b5864e9340647b1dc566cc68003a
results-70300-17
9.43 KB
sha256:bc8283279f6e1b5081b5421d642e63e2e7fa957b7ef9717476eca7e4aade55cc
results-70300-18
9.18 KB
sha256:0d7aa287436adb2f248ab2436b7694010f5ecbf23dcaecac617fc0414aeab4f5
results-70300-2
13.3 KB
sha256:09cf0c6067b6ebcece6529c46ef1f8d95df4cc01d417eb1262fdfaf18807ac9c
results-70300-3
7.86 KB
sha256:89a4ad2ce46e43cbd27a6775dd312184dfa53c42a1e4517a10987de6d35330a8
results-70300-4
6.99 KB
sha256:41b0c708b3426086af8042da6b2542b2221639ccd2c32b113dd443fa9dd349a6
results-70300-5
8.48 KB
sha256:42647a8d675b2d9d6b7bad2ba90b631a4d15cdd768b7828c54f17b9c279b9abc
results-70300-6
8.87 KB
sha256:1d41b3d8d8af886553ef21b29e553c26c2eea8b964a35e89891ae4f8ffd46384
results-70300-7
7.39 KB
sha256:3146281018c3073491f15f9337446bdd9b21a296609eea94ba379dca98e910b4
results-70300-8
9.38 KB
sha256:d660598339bae8c22d4b5606b52d7e4aadafe40c8704c8ae32bfc706049d9da6
results-70300-9
8.54 KB
sha256:8458cf46f220a1b9cfb9ae914ed6b48c52a1d1c1fe03b8ec96182cea115bfdff
results-70400-1
9.22 KB
sha256:26947fd1f4807bce998cb40092ecb86e94888de221d21f271651eb79dc9b1383
results-70400-10
8.49 KB
sha256:03dd117949c32a8a083d176326b7195992eafabe997596cccb0b24b0aafc1f55
results-70400-11
9.89 KB
sha256:66b6024334b2937cdbd59b1a514236091b5cfa0cf6ecfba1e10f93be13aec6d9
results-70400-12
9.7 KB
sha256:737e9f76bde7061a7be1bc64109f54c31bcf92247dff486706044cc067aad25b
results-70400-13
9.51 KB
sha256:f53b193482752f18336bd12caeef9b6356916a705e48b913f1b9f3d091e4c3ac
results-70400-14
7.67 KB
sha256:aaadf47af8095be62dadc016e95a923d9ac5a57b79c718cdeda19855183e2f2e
results-70400-15
8.33 KB
sha256:34fc3701d0285de136ad05a6bbdf03f7b7278f35e54abd189354ccfedea19ff0
results-70400-16
9.72 KB
sha256:7269103b5929c116ef186f7cd75a85b77326c9d98e66e76754e08141a86ca471
results-70400-17
9.43 KB
sha256:18750be83eeb506875b4359d98590c89fd74bbcdcf98284ffb1de5eff5d2037e
results-70400-18
9.18 KB
sha256:fa514a2b23fc0fb282a187bfdb6d82880855c4f6ce9ea5e3066bd53ee43d970f
results-70400-2
13.2 KB
sha256:59362ea084469aff783f763ca59d53615f916f059a15ca46175ae05ca6a500f5
results-70400-3
7.77 KB
sha256:1315e02a5c7b95d93524b32bfaaf5471bf3fa8c0698242c96c03775302197d68
results-70400-4
6.99 KB
sha256:293fe7187e262dc2256586a3f36a880430cbccd65096d51de8c5d647cebfe8ea
results-70400-5
8.48 KB
sha256:9085772fabb373c99d1b4d0dea9968c354a5873acc856568dbdc88a2046385bf
results-70400-6
8.87 KB
sha256:4af3218ae455be7efb342b7a93008f38848be081e0c756dc8949ca98975e75df
results-70400-7
7.26 KB
sha256:74965c79a1f0cbee6cfff63920cea529e0c858e379ef6f19090adca3dac0f7a9
results-70400-8
9.39 KB
sha256:05aae6544a9cca19d7952515da4a689d703d44076dcb8a137e8f61052e6f3771
results-70400-9
8.54 KB
sha256:9f837d7bdc8979decddfbf320c8f104731ebe8b5d55013563d990f68d80af9be
results-80000-1
7.07 KB
sha256:6fd6a075356155ae8d59ec1a0dbb22e7c35dbd0120e331bb4759a48c0a6b86e4
results-80000-10
7.6 KB
sha256:975a78c84f008a3f8c083adefbee924af97e31d740f57f918b9bfbc303505d67
results-80000-11
8.31 KB
sha256:91177166570456dd37a1cfa60c73d5c012f879071caa006e3c03256bacd0e703
results-80000-12
7.27 KB
sha256:0c6016fa5cd47ce28da20df00fb5acf44a063475a09f15495c55e24ec5580121
results-80000-13
8.19 KB
sha256:72766d51d0ffbb8218194fa3e83da1d9cb2fc4daf56d28ca7aa112749b9db561
results-80000-14
7.02 KB
sha256:5d86b0c0f51e67209433e8269ae0634e4b1fb46f2cb87d3e0c409b4ac6607842
results-80000-15
7.95 KB
sha256:5421d5810cb274d6cf00f1b0013638a82775b00ebc8f6c75d6ea52bb620f4451
results-80000-16
8.65 KB
sha256:a265c5328177651286f7cd8df07e449cfcbc5e8e602814ea5714348a42c11290
results-80000-17
8.01 KB
sha256:17e3484aad1fd8de8cd0afa0901ad3c277a055f8174f052a84b708759dd922cf
results-80000-18
7.85 KB
sha256:eea9d23cce1e0240b2fb20bbba0accc534eaec91a21e851b5eb8a1659a810a1b
results-80000-2
12 KB
sha256:9058ae9d0f661be5f12319ed663f1cee019c6be1a1dc26c7190c6ee38d728a53
results-80000-3
6.98 KB
sha256:20ae550d473425b018ed5cc065eed4608fd3ece2941234f95d8085f17b73d772
results-80000-4
6.33 KB
sha256:3b0309443dbf39454690ac53940861be37f685774f890e45075dc80d404ac2d1
results-80000-5
7.6 KB
sha256:f3241431f09c35bf62322cec05b0bbf700dc51e7dc0bc22def516c08a7c2e1a8
results-80000-6
8.31 KB
sha256:b38d8a71bfd420f32a589e5bfb8f8163f78516c0920c641690fca3a5e3a88cde
results-80000-7
6.7 KB
sha256:9a4e5e296e407550198291fcb3701e24f2b0e43044c21c1b8d6e17525ebd2708
results-80000-8
7.27 KB
sha256:56c1fbefddcd133e0f8aa38bdc33f36ba8dde3444e2ca3355d1de268e760ccad
results-80000-9
7.94 KB
sha256:2e5678376d668b4d6c202fb14963ce4319a730bcaaa85866bad86d73199ea541
results-80100-1
7.06 KB
sha256:e1e8109ecf0a0f6680e2fed254238eb01ef4d8473d3944a7f1147c44c7695653
results-80100-10
8 KB
sha256:3477e3394a52e23aaecca6ca9b80e9f7900a3637a4031dbfdeed8737a5e925cc
results-80100-11
8.45 KB
sha256:6199c52dbb283489772eb689617f2933d28bdbfa1039fd3939675da80b124884
results-80100-12
7.33 KB
sha256:ddcd2add4dd19593ec563925df83d936118328db152ca48bea364244462d686b
results-80100-13
8.06 KB
sha256:e29c79e289ec456597aadff68e150c942496f26972b4f861b56fe853f0ccc8e0
results-80100-14
7.02 KB
sha256:a70f415df355230dcb192ef10ee9166372d89cbe48c2b7e7269124a3aa7c5970
results-80100-15
7.9 KB
sha256:917404a499b4f17c1bf672bee385d5d3b796e920b7c9d0738048d9c59f19d575
results-80100-16
8.9 KB
sha256:9423a977e3f9203d59077f9d216a08617f70a89b341c02a16d2661c8fbd092d5
results-80100-17
7.87 KB
sha256:aea3e1b907ca4f62dd45b9cb801ac074b150a389aa4a5423bc1ce4b4adc1b946
results-80100-18
8.76 KB
sha256:455a32462404b89aac3c5746d1411602d17b53517888b06cc078324d377e568d
results-80100-2
12.1 KB
sha256:4ba516a2a3ab20c87c03d59fa832413f53426747b8ccfd176344a701279fe6b2
results-80100-3
6.92 KB
sha256:efccfdc3f38eb37adc62069d1291bd1bafc3eb7e5811b6200cef942218d86d74
results-80100-4
6.44 KB
sha256:553857e1db55c25b95926f31d496171a0d1111dd8d220f009a2a40ecd7f9ea7e
results-80100-5
7.61 KB
sha256:499f605875a144a9a8d27cfdaa159d8fb644005d623720def8c4374ec6e1bf41
results-80100-6
8.24 KB
sha256:fcd8c5c1933bff1a6476dbeef65b699d0d6922c90f171f95862e2d32e41a30fc
results-80100-7
6.6 KB
sha256:21f3863abcf53ed1fa10d62412fed1f844bdab77bd69b64ef391d149ed60444a
results-80100-8
8.06 KB
sha256:30c7e087263a2777cf2a3e8b5b6933e65a5352a6197592bd491d57a1bc78d0bb
results-80100-9
8.2 KB
sha256:f52404eaae59805fe3a7b560bf883c113a47f51dbcf2730fce0b5edc4bc6b8f3
results-80200-1
7.02 KB
sha256:25171333aec34162326141dc8b882cb4e403872fb6c9b6c9b078f21003d78ddb
results-80200-10
7.8 KB
sha256:70f8e41bbe8ab32ac5a38f2ace8415887803cf42a5bff4d41bb222d7514571f7
results-80200-11
8.45 KB
sha256:a8b37191bc8a7ba25adcfd5eb6690a4c0a438e4c352ebaedcdeefbb44a6a0d98
results-80200-12
7.32 KB
sha256:c89b7513b762fc73cd5b08609105842458d48a90b24be8bad27c73921331e992
results-80200-13
8.06 KB
sha256:db2c7cf64b34008ee3e8675b50bae6ad5c1512edd8c1f174125af582918a0662
results-80200-14
7.07 KB
sha256:532747719a751271367680c7b8844b7119852ceee984d481a83dc6b9d0d03ae8
results-80200-15
7.9 KB
sha256:f756b302ff5164721cecb07e4951128d7883b9fe4c4ab0a556b13925203bab12
results-80200-16
8.76 KB
sha256:6a4033e5764992b95719546db4288b05cd3c013d4d756d9860157c1a292f4056
results-80200-17
7.73 KB
sha256:a4088851166329525ae60b0c1d008794690dcd47bf36e832ae2867077939cd37
results-80200-18
8.66 KB
sha256:727209090fb58c27bdbe8c62d0cec557ae4db47f3278d158cced5e9204046b40
results-80200-2
12.1 KB
sha256:3d77897d8c9784cde34e1adfdb8688baeb72b12800ca49bb9e0ba9de0e492d43
results-80200-3
7 KB
sha256:00e5a192be227f373d0b86d249b009d9c2b96e4ee82653aea152920e32602f50
results-80200-4
6.46 KB
sha256:b47d2d7fadf3f7e40353dacefe44b8dbd3622a488d0b2e52e5dfe53b86dd1c48
results-80200-5
7.56 KB
sha256:5d853dd55532bdf238fd954989e2dd0b375657ccf78f5d164706eece3c5efd52
results-80200-6
8.26 KB
sha256:f20d2ecbdf85e4bb2a5c6cf54f2cb95fbd9536e99c4067e55b42dd4cd11e6543
results-80200-7
6.6 KB
sha256:24ca781d82a08f6bea22e8d77e3f1ceed1d8bdc8be29da30b8442054b096d884
results-80200-8
7.8 KB
sha256:e1c811f7f44ef072ca9554c494e6b0bcb591e0adea07bd6edf48397fccae087d
results-80200-9
8.17 KB
sha256:942c76a71c40acc6646ddc3d6c543f8fcbb9182b2420cbbc6a0101542f03a296
results-80300-1
6.93 KB
sha256:1f5d8ec390ecd10f10074b149f90879fb2312374fb098804d4d8caf87fb80eaa
results-80300-10
7.8 KB
sha256:af93f46f6a14a9646863d4c6e7078453eb9751c44207074c6bc6affff56de9ae
results-80300-11
8.33 KB
sha256:cbc9faadd21064f58e6ae157753f7a9c8a40df5471777fc0d7744821569dc291
results-80300-12
7.33 KB
sha256:1ff7244ba4bd0dc5aecd173115d777ea7f04dce5c490295e873e6b550e031c56
results-80300-13
8.06 KB
sha256:e2899639e61d0205cb16cd8511647e59ee20ce21890983a5123b5a1236b537e3
results-80300-14
7.07 KB
sha256:198a8f80d04bdbd1e41d1e86c787ea94731c369eb8a33571a2d1eba8c472f7e6
results-80300-15
7.9 KB
sha256:2eb0646502744eabc77d9dbe245c151297ef0e7cab6d82b3cb975bbe422a3453
results-80300-16
8.69 KB
sha256:69f458d2fd8aa9a13987beaaba8bbb8564804607bd7ca1373fbec2636b441587
results-80300-17
7.56 KB
sha256:79187b0a02decd6165fbac83995f15ed392147fedf7f37681e5a4d07ab006f37
results-80300-18
8.52 KB
sha256:6763c116bf2d1c4974286542d4b27a1d9733b5326f362886e26bc17352f6d3d0
results-80300-2
12 KB
sha256:dbb2598332ae57db60f4018b53cf75cfe043341403408c47f3b6d712cc4427ed
results-80300-3
7 KB
sha256:3a65b55679724d8be6a505bb41b119b9cfd6689f4b3745435816b7a06bae2fb1
results-80300-4
6.46 KB
sha256:9bbd9a267ef17b3131a1e418d6493ee2d5b0b8a343e776e28eb6be52cc5c12d5
results-80300-5
7.56 KB
sha256:e1107a87679df8599cbe1420e0acd6afc164fc4f74a590163ebb68b6eada7be1
results-80300-6
8.26 KB
sha256:b53d00b12c1892d83babc6d640d95d380563d032a996928db72f90d0445d6abd
results-80300-7
6.6 KB
sha256:6bc21e2ca5d3906402e32cb59f81f755bd20fc31856deb6e12e9c055261fe19a
results-80300-8
7.8 KB
sha256:88c0b24a4f6597fda574fee3aa3bd9221305182909a20719895fb63ecf375bee
results-80300-9
8.06 KB
sha256:e7a16058bd2963a551d6ee8e8b46745de30c582df896a9e6cf8acd60d0d6b1da
results-80400-1
6.88 KB
sha256:47eae7ff26dedc05388f5e29eda6cdfcf703e92833a86f9e66d5389ff2166121
results-80400-10
7.8 KB
sha256:7cbf661d8c9eb966ea00d149fcb41d489b6f85000667651799eddce916b18f71
results-80400-11
8.32 KB
sha256:9fe63192bc9744db00edafa6408b13aa9499a0250e39df3bfe9013b84f8859f1
results-80400-12
7.31 KB
sha256:f2b3f77f9699231e83009bb60313057b5ea251a7f4f1b0255adab9cf88b61dd8
results-80400-13
8.19 KB
sha256:144dfdd99b33c8996ad26528e66c78b713c3f187c616dd0dc41cf919ff4959fa
results-80400-14
7.07 KB
sha256:103a58dce2f9bfc8dbbc2e29020ec93dfc17d6da60685f482ca0995954129bb3
results-80400-15
7.85 KB
sha256:dbe7df1cb72a62cc23fac0f49bff3845217410e8db1adab77593563bdca566e1
results-80400-16
8.59 KB
sha256:eaa28b0c4e378321e65cba408e25dfc59b4773d609e46f64c37bea0a47be5e6f
results-80400-17
7.55 KB
sha256:32625b2bf0fddff1f12a0ef21bb26cf527aebe57066b2d82204fef11d89f9d4a
results-80400-18
8.32 KB
sha256:ac911f9e920f4caa40efd003e92d30bc343dffef7ff1609fe5bdca7b531a13d7
results-80400-2
12 KB
sha256:f588e7bf55f804c528a937e532491e40298371df0cb8e20af0ee1fc7a8c24ab9
results-80400-3
7.07 KB
sha256:5dab8cf405df83a00b7e50fdf6fb2208b205957cd878d0a26dc0405e2a02f4a7
results-80400-4
6.46 KB
sha256:a9a64b5554480c5f9eead933544117dff35ce60abfe178cb50ce340babe57686
results-80400-5
7.55 KB
sha256:0f972cb40a9b4ccce6ffc06c5a7d3f802c3d2ad3ab525bf38404b998a22375b7
results-80400-6
8.26 KB
sha256:d11eeab06a9b7db6d578ad5a9fccbb71e110144583ff801b88ee9f5a5deed817
results-80400-7
6.6 KB
sha256:52855fad763865514d52996e5fb355889c8e9cfdd4fb57603df873adcdb58573
results-80400-8
7.76 KB
sha256:e12fb8ed014f658f86aed86f19ab545df583a07b429609ffcaacfed01179fc7c
results-80400-9
8.06 KB
sha256:744b55f0220e614e7fea8763be05d8cb263da9d94d92404154a61109b3ec3d43
results-80500-1
955 Bytes
sha256:62950475af0b8e87af2c4867c3c60b79f3e1be2cbc0f689ef7c4e522fc321fde
results-80500-10
905 Bytes
sha256:7bf80ce7365fe0545d8fceec421fb1c20d7ce8b18b8c66e69891c273a07b9a43
results-80500-11
713 Bytes
sha256:f595aa2b2d12b8f0e9a490f707da59d2112af1afc305840dc75193c159422e78
results-80500-12
799 Bytes
sha256:0376f38e707c67b015326f799e01f6a1aa456656bb27809164db5d74ac1831bb
results-80500-13
968 Bytes
sha256:94d269e3402aae71c7e8e64217364f49cecce0a0d3b2e435710fcb4515dab95a
results-80500-14
972 Bytes
sha256:dff6d342e5e0832a691f5ab9affcd61e0045d04adc634b6318292f33474d73ec
results-80500-15
735 Bytes
sha256:76d4720379d166ff6f7af9b9e77b3ef257bfd6700b1b83f4134776cd5639eb66
results-80500-16
497 Bytes
sha256:33e6d72a0bf370ace50e64cd86bcbb07a749043687d3945a4797ef8023592574
results-80500-2
731 Bytes
sha256:239bc05139a0c2058499d05dd15c218019b1a244798778f54747d22fcb1dbe9a
results-80500-3
689 Bytes
sha256:31ff918338cb202732ee5fc69c841a8774f160894393885215d03d6ac9743245
results-80500-4
801 Bytes
sha256:e0dac95843220aa011ef31577b7e33359acfbc8fe1d0bbf18e1149d234ec3e0d
results-80500-5
774 Bytes
sha256:1bcc0acbf5f0fc04fcf2254ebcc121b727f8dab7a79da32b9834e9a096d1e7ef
results-80500-6
679 Bytes
sha256:a4e53126f6f13c93b7a50445378ca3b75569b01f2009b27b55e44201ee67d88f
results-80500-7
758 Bytes
sha256:bc7db20dbee60e90f4394f700487c3737554ffb9458fa240bcd3330bd394d11b
results-80500-8
795 Bytes
sha256:510a390b1ac2aff2eab89fe8b1ca3c53e3cd2f9b1678905b1b229530bfd47f25
results-80500-9
681 Bytes
sha256:4c24fca50452ccefd6a8e9fb826e1ff1331bd06e39959a090dd1c16edc2cc872