Skip to content

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

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

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

Triggered via pull request September 8, 2025 09:35
Status Success
Total duration 3m 22s
Artifacts 144

issue-bot.yml

on: pull_request
Download data
13s
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
575 KB
sha256:d2efa00e9db28d2d81059805eb09c2c8d66fc1ab52f5b4e5ce74fa12d00f80b9
playground-cache
535 KB
sha256:eb989069ff8efe6869dae59d166485eb5ff02cf4030d42512c749d845a2848f2
results-70300-1
9.35 KB
sha256:43f74df622812ff84a0d1ca1b00d3ac85ad791ccd6e6370bf88d9d3104f14e82
results-70300-10
8.58 KB
sha256:f89529a8cc0f4c57d05a2df837855ce28b3e0217ffabc74e068fd64330940ca3
results-70300-11
9.95 KB
sha256:04cae6a83de1e211826920afce928b18ebb09eeb8d8374d3e20747e8f28d925a
results-70300-12
9.68 KB
sha256:2a9cac6b91e6dc512f9de9c67f56b06820bd7089e2f86459b7871e2259bf8f05
results-70300-13
9.51 KB
sha256:6c02bcb7f2f2d1b2e5e9d8202516a920a593949a7360be7daee314ef5eda3f11
results-70300-14
7.67 KB
sha256:7b9a149fc073414e51f0d7428f86b3101972cd057aa05083448051cdbfeb6983
results-70300-15
8.33 KB
sha256:1690d340056697a9bd09d06287b4d7d5a1bec3558989fadfbeb5619f59d72268
results-70300-16
9.71 KB
sha256:593805403a5942daa40456cd7201f52b6c867ac1753345834af093094bd34c28
results-70300-17
9.43 KB
sha256:f9c2f61eac98af61b8629226c9d6fc2e2b1ac4c8f083fbbe9fcc7c7278c63c2e
results-70300-18
9.18 KB
sha256:1013793df7a6b41210f74b071009a164f23ee7804fb2698aec13498991f4e181
results-70300-2
13.3 KB
sha256:5a6871482fbd53d50b9f72ae56208edd369f9cb59da45549846a30da9982d80d
results-70300-3
7.86 KB
sha256:9b26df63aec6b84773b84692d39119ee2e6923e95d00688af5d30b7be1ee13d8
results-70300-4
6.99 KB
sha256:1748b5da981aa47b6740aa13bd8d1f1044df1201ff96dd85d8cc332e7a02b00b
results-70300-5
8.48 KB
sha256:4fc3f9d13c58a47568e58efc14ecc9fb5cf0b37ce1ec8add26c065f60f3becd8
results-70300-6
8.87 KB
sha256:f931b3697cfe0fa105ffebd9f0513654239e60fc48d93616009da89eecdb84b4
results-70300-7
7.39 KB
sha256:a8a4b85a33def93fbdb6757af5b99589d69196f3eb5d97ca02b707ebf77113f3
results-70300-8
9.38 KB
sha256:26085ac8ca7e6435ae73b84dc14ff16e02076ed30aa013b5187cffd2ef008997
results-70300-9
8.53 KB
sha256:793390c7a9cac5645edc87124a8a65e283f31d0ec734325619a49cef0d426738
results-70400-1
9.22 KB
sha256:5bd3483038c726259f36afefb895b2a02e91179a5052ee66acd9113febb924ad
results-70400-10
8.52 KB
sha256:6f3408f7642d9ce65db98c0e1fccb7b2bc73a04d8968a56ecb397a01ba09f6a2
results-70400-11
9.89 KB
sha256:583782e257f781f0e84f0e9046b3ab11586bd21ec3d8999f284eff185732452d
results-70400-12
9.7 KB
sha256:e579218eccd52940c6a34f8e0d2cf5a9c3d232dc058f71114e71be04b43f90b4
results-70400-13
9.51 KB
sha256:f8bc399a5f58ebd54a9a9c9ac396f1d05fc76b08328cb4e0ffefce35742f9053
results-70400-14
7.67 KB
sha256:d5f06ea6ae286c42997a0917cf335ed630575af236ca6c271029a153badbfe3c
results-70400-15
8.33 KB
sha256:2296ad7fa98119064cc6b541e45b10b419cb71b4c0a5bb99854fcc9e297381e0
results-70400-16
9.72 KB
sha256:ae4c71176c449bce3cbd781fc4ccebf472f60eab3494c59c5c7b5b3223733b43
results-70400-17
9.43 KB
sha256:a1509246606b2aab8d3e098d2672e157bbb2ff4c0dbe209e93e7298fe1a70ae8
results-70400-18
9.18 KB
sha256:a9bd82db6ca7bddda9df17e605ad523f3b9d5172accaa4e32506eb46a20b0838
results-70400-2
13.2 KB
sha256:6276baf2d44f09fbcff3166fa0588fb3fe62b77a2c36e8b7a3fbcd575765f46f
results-70400-3
7.77 KB
sha256:4c291b6233cb7b23a8e55de1ee0a327d9664d3367cec81530d6cef307c43f5dd
results-70400-4
6.99 KB
sha256:c647eecfdf97b22a331cce04642428becc94e476d42e6c9fd53e80424f533eb6
results-70400-5
8.48 KB
sha256:565554b66599becb725c545f5464954d6666af67b4873dddcefd0b804308ebdf
results-70400-6
8.87 KB
sha256:166c1caea68ab3f802a7c804dba7d3cfc7426c9df3cb2af32a54837c4eac3af5
results-70400-7
7.26 KB
sha256:64e8ace155b287365ef001875ae4036b88b6252d4cf26ae4dc6601de0237c79e
results-70400-8
9.39 KB
sha256:9b3f9682a14f2003eb89bd684c2f805ecd97184754d928cb4692275116106a21
results-70400-9
8.53 KB
sha256:4091dab02a67fa93fef70bb8897ea75f7ad7173cfc8ac73b3f7eff0ff971dfc3
results-80000-1
7.07 KB
sha256:9e4edaeb1ff0a5c29a05e1d92d3c4780a78e7a267f443c2975162395694c5018
results-80000-10
7.66 KB
sha256:2a10d0e1c2dd2fe01f280980ac83aa3e23ec493697e6bf17e366dbdb4d9f3523
results-80000-11
8.31 KB
sha256:576b2979491e4ddf5df3f610c3bd046db6688b0bd1e42ba5c38abdb87380ab56
results-80000-12
7.27 KB
sha256:4ca80b6893ab54d56b4331fb827ba74f3fad31de74f1556d2acbda1b32f91b7f
results-80000-13
8.19 KB
sha256:4d93dcc0e357f02d50a0de43c3dec0cc3fd2e4758f2d3e486e04a6f51578cad3
results-80000-14
7.02 KB
sha256:6e199554857d51ab78eea5d028e805566bad13d92bb97456c5341dff4bf818c5
results-80000-15
7.95 KB
sha256:189c79ae202ca39ce2547f0059589dc6c9e8ceb5c40765661da0edc607268133
results-80000-16
8.65 KB
sha256:e3619eb639091c6c0aba9cb1a80973cffbd7597b1486afb6b94a6de6929143dd
results-80000-17
8.01 KB
sha256:8c04657af42cbc486e8ce2e1717587402c79397cb83aab00029747a473b57d1c
results-80000-18
7.85 KB
sha256:d0630a2dc5a233cc6e0b4bbf767746f5fdd4a1d010bd311b6856da48675688d0
results-80000-2
12 KB
sha256:cc1e623b74ae914ccda431bae03b9e98f84ff59a08e7edfc6fe11fc04b2fd8f2
results-80000-3
6.98 KB
sha256:ed849f7023d62ea6624c1beff8cdab61b6304837783074797badaa0aee1b26f2
results-80000-4
6.33 KB
sha256:63cecb95a978513d305a81f1e60cd1f63375b63320035fa1683c9736588aca13
results-80000-5
7.6 KB
sha256:73430eee127e894f961805714cde0b20da56bbb1bbe0f9de85b678d71591a95a
results-80000-6
8.31 KB
sha256:2147ae662994f94dcf8c175caa351627faa707c2ab83b681ac108e481c60594b
results-80000-7
6.7 KB
sha256:94909d3527bfddf71958325ddaa7e5f85dd038802931cb4401963861d178df91
results-80000-8
7.27 KB
sha256:de924eb5895bc9cb3be28e2cd741646c6a9f5be1d4e336a5a5069904bda01428
results-80000-9
7.92 KB
sha256:4a8d524ecad7ed8aec8495b24c538676b76e5f27a240f4e3b2fd534af43f4a82
results-80100-1
7.06 KB
sha256:e60c658c2fa9132bbb7a47f559229f97fbe5bd28e10c0ba9e9977d420399b72b
results-80100-10
8.04 KB
sha256:c0c0e4aa0bc56ac4d9585d823efc3e7e2fb944dd7995a293079ad0e960dd4235
results-80100-11
8.45 KB
sha256:a7f12648464044980f46bae149c0d1931575f2eb849d568e4dbf138eae23f72d
results-80100-12
7.33 KB
sha256:29fed08c50be758cbffde85a87142191fb30ddbed06d58407fb44239dfadd07c
results-80100-13
8.06 KB
sha256:ac1c310b99a0b89d0b4daf3f9c85ef2d89070456d7e90aba0d05d6b997b0f52d
results-80100-14
7.02 KB
sha256:90da177344fe2448225a189acd44a9fe4426c80859e13ce5d6d6506f734dda97
results-80100-15
7.9 KB
sha256:837c42e7632223670b0edfa4b54542a49fae3a06115679a43609b0e2d3eea24d
results-80100-16
8.9 KB
sha256:62c0dc8490da3c39304df5968cbb235cc954f17127aec161e0126438293b6bdb
results-80100-17
7.87 KB
sha256:59888cd0fc81849610fd16916fb533bdf15ef5846f3ab714f8cdf935f6514885
results-80100-18
8.76 KB
sha256:c379f26d64ff48ab5ef85f628b63280739b8afea00e231de8b17d13c2a1afb2b
results-80100-2
12.1 KB
sha256:7087030174b73e33cfa51a3ec98528ce728006440175b7fe3d80dfbb0770eda5
results-80100-3
6.92 KB
sha256:5db6fc3fbb2accf64d57b3d01a1d91f266ee930bea35a18dc336e8b723dbfdf6
results-80100-4
6.44 KB
sha256:6b80294aae7dbf6835558f8f653fda34f5727e97cb991a94661c82b32d96b24f
results-80100-5
7.61 KB
sha256:5d06494f5d719c5d1987d0d96478b187af9efafdb46a127efbd8dbdbe1b54553
results-80100-6
8.24 KB
sha256:f9e06d348d47c219011fa7d9cbe7724cfecc8c08dd16cc5c51d88ccbf7ede123
results-80100-7
6.6 KB
sha256:bf7676cffad9ba458fa37e74991b856ea33a64f7bea1f0f06e55bc18d84455af
results-80100-8
8.06 KB
sha256:1d0bb1a1522d5e4cbe22c645b518dcd895f19f20d414e3027150341e3ab79a4d
results-80100-9
8.18 KB
sha256:6ea6645a7f7cbf60d0d9e194e2a5462684335a2730911df5586426b4dd97964d
results-80200-1
7.02 KB
sha256:d448c4f8a5740dcf629473a8006538604b3a018594f4b81ddb9bcfd21b51462b
results-80200-10
7.84 KB
sha256:30c13b594bf013d97d9edfa7752c274b439d08b64170a26b40228c51caa8274b
results-80200-11
8.45 KB
sha256:99b186ecfedf5244ca2e20395ac10ba245637e4ec947660d23d1d78400b786c4
results-80200-12
7.32 KB
sha256:600e85a7282b03963d5c5672455bd57aa989048579f8932ba8499868ecd7b1bd
results-80200-13
8.06 KB
sha256:9130d6c2edc12387673c105969f879f399a15a56409d1f225503844fae55fb67
results-80200-14
7.07 KB
sha256:7033420b23a7a0e4b0301678e4e1ff43719ef2130a03cc12963e322d139fb08d
results-80200-15
7.9 KB
sha256:47da174743da2a88e227e8ac1600591d23a58ef3b241ca14a679adfc9b81f105
results-80200-16
8.76 KB
sha256:666d5c564a51b060b9b5b6d7d1ce0dcb9e62c4b1a53cc7776635f9bf40cb8adc
results-80200-17
7.73 KB
sha256:098f56bcc8129c06787c761dc834064fe437b513566aa8878f70e753ad89680f
results-80200-18
8.66 KB
sha256:4addefa6ac1558a097ed40695170a5c334ba6030376e4ea7a209821eadcb1a8e
results-80200-2
12.1 KB
sha256:101af3b0639fbce78c7198b81c2f4e7fa4d51bd4bb7ff2cd0396196a9cc9a368
results-80200-3
7 KB
sha256:62ba7e7e88c661f462075689d68aa9f4dbf111a38502552abe56388b76b610a4
results-80200-4
6.46 KB
sha256:11b91571739bc17a1e67b2eaa6719cf4f0110f12931f61ff402ee5a8c63bcf94
results-80200-5
7.56 KB
sha256:908b3201125ed09de8f003d79fdd877bb368cc93025a6336cd44625618b5e075
results-80200-6
8.26 KB
sha256:0a6bcf36a3b1ddaf898a09595c13426865742a5900f783613a109d55eb993879
results-80200-7
6.6 KB
sha256:cafddfeeca6f23efc72ae032730ddb8ba35be07e84935b7d03e973d70a640cf5
results-80200-8
7.8 KB
sha256:46c68b688becff1339b0d97bb05ec8fc447744f416300ffa41e85c0c7cb2be6d
results-80200-9
8.14 KB
sha256:8d95bb3bfff7bf9b312d21122e6208ab9005bf2443f8c205b24a014ada619c75
results-80300-1
6.93 KB
sha256:04da5a9daa9c6cbd67cf8ba6c5fd6fed5cd34eb4a9812d70f7d63e140cdb9bfc
results-80300-10
7.84 KB
sha256:221545015b4fb4462be83aab7fa7bd74017286a878d1c315b39834d6751a400e
results-80300-11
8.33 KB
sha256:9605973220637d793c388b3c232ca28b00fa96e9632d83f829292d9e1bcce467
results-80300-12
7.33 KB
sha256:70c7f133294bd29887b1c2637ea43dd0ff393ee424413ea21bd02fa4957f8061
results-80300-13
8.06 KB
sha256:24bae38e4a512b3cec0c66a34aa16d4dcab946a1cd75d03373c7350cf393d830
results-80300-14
7.07 KB
sha256:9a531410d0b58e6f7b51f416cfb4cd51e6cc91fff67e975f2c8872495bb08bde
results-80300-15
7.9 KB
sha256:39ba6786ec38b541e74de68352937134eae30bcac6a0da3dab7b2280d5f0845d
results-80300-16
8.69 KB
sha256:49fa1050f41797d41beae5c9c7949548ddcc8ef33df43e55b6d90330fe2d08d4
results-80300-17
7.56 KB
sha256:65f2af9871b64b3d384ba6045e12eb4213ec23588e1d6720ed8fe13a8c77c9b6
results-80300-18
8.52 KB
sha256:f0227a8dbbc926c479c0527703523a34df1b5f28b3edcc99d374f25e2761084a
results-80300-2
12 KB
sha256:c5353da445f5cfb1e445a68afe85f9e6da8eb668862ee267b124acbb99bec7bb
results-80300-3
7 KB
sha256:1821c9e1a673c66b15d39364d3607d251185d124e5296e6cb79e6989a8c72c3f
results-80300-4
6.46 KB
sha256:45aff13c8015e3792a6cc628832b4b0c6e56f2dcac436001aafd391f31f474f5
results-80300-5
7.56 KB
sha256:744376e80d3228439804da0d20c7cadfbd2d7c5b55b526bc446b651887080fbd
results-80300-6
8.26 KB
sha256:3154d3ed2bd37792f1a0e649a20c362dfaea970754a48bba8f366559f5e8902a
results-80300-7
6.6 KB
sha256:be7679bdfbb5d842675308a946831d5d671bf3332e2fc7ab74dfaa037ae5575e
results-80300-8
7.8 KB
sha256:061036ce9c195d4af4359bd0451c233875528ac18bf99fb873d275d0b3a14ee2
results-80300-9
8.05 KB
sha256:60d26319395def975b7f1cfdaaf84eca2086413262686edf8f5388df7ff645e5
results-80400-1
6.88 KB
sha256:8d68518de63e6f8529d25f16af7c6963a1bc45514780a2611fcec1ef5898d803
results-80400-10
7.84 KB
sha256:fa0575d3513211d08deab9707823924d4a94dd932e70d6a5c5845dcb16da56de
results-80400-11
8.32 KB
sha256:6545d80292bb066a28c51ef2984eb72f7cac4f803734e9e48e0fb0b5b78e8292
results-80400-12
7.31 KB
sha256:f617edce3b14498dbe905b12ff5903465cd7469daa39f45a03cc13b13ece7291
results-80400-13
8.19 KB
sha256:ec58bdabd51b0b143d9966287b49976b11a0a84c7bf0d759c3c12dcbf8fa5983
results-80400-14
7.07 KB
sha256:9cde558ff1e65fbe5b3aa3ede0c1dfb656b7ea736ca0c16b3e6b8e2d0479d2a4
results-80400-15
7.85 KB
sha256:64c8b27d8027599227176d949d2e8853dfa6aa4665d3c6ad132a75da10c15e40
results-80400-16
8.59 KB
sha256:42d05d40ac737e9816e1a1a302bae31a5c7968368934bf44a05bd3cb95e0a69e
results-80400-17
7.55 KB
sha256:12f070cbc43ef365c95b0168d9c29fd8fa1f8f652aaa117cabaa37faec1083cc
results-80400-18
8.32 KB
sha256:5be1a3bd8a8bde3b6b9c7d9e589e055893f9afe4c64b68432d143cd3e0f1a28b
results-80400-2
12 KB
sha256:c3f31e66b24dd7bbe829fc18f1198c63c79c1a73d951eb327863319d8a0ea37f
results-80400-3
7.07 KB
sha256:3fb073e31ec55ff947f6011fe781c178bd90f08224086fc89654549b65e479eb
results-80400-4
6.46 KB
sha256:66d2807cfed1ce03209f9bccf089288bab72c9ef8690ef4150dc214c2bbe5e42
results-80400-5
7.55 KB
sha256:6b6eb044a1fa901120f9a651bedd676d36f773bf87fbae3445b879bdd42fee6c
results-80400-6
8.26 KB
sha256:ef083ae3362305dd4f6674aa7bdd4e1fa2a329dd9c079a6b737c12f1b351c98c
results-80400-7
6.6 KB
sha256:a8713511a0676ec43a0bdd5fde5921c727715e0b885bb51db9dc53d2e2535cc5
results-80400-8
7.76 KB
sha256:ccfd63cc34b528029b5363b67e55b7df28d10a60801110b82d289c4f218886bf
results-80400-9
8.05 KB
sha256:0494712e23c52da0d19043b99384089805e7133f16c551c0c68eca0b315cb5df
results-80500-1
955 Bytes
sha256:7295a90c8dd0d1cad3bf8e6536a79219ea9e8b380464fe9741d2392c2532f540
results-80500-10
905 Bytes
sha256:5269150275691722df27c20cb8b535f4499cb07486b339bff3359b65fb8d8a38
results-80500-11
713 Bytes
sha256:4004efac4608563c4a42494c7e22f14fa86aef293781f7bde8517b6190a21fb7
results-80500-12
799 Bytes
sha256:13b41c706e35fc1192cecfbd5c3d305fb83533b638694ef124139f27c211fbb8
results-80500-13
968 Bytes
sha256:bfb43ed84df2412c958e0f580bac2aae5c0863cd666c46f6b1f800dad80757b3
results-80500-14
972 Bytes
sha256:70bd251e76405a4a2b0402445d3391a6188cee93dd6c0ccce4172ed7f20aeaea
results-80500-15
735 Bytes
sha256:fa66eb24831bb10551d4b17baaaeee1e780cb39594d6f931096efc418f262632
results-80500-16
497 Bytes
sha256:aca288f1a57ca5a6792204e97420258eb83aa5d8efd5695fb8dbf954faef5327
results-80500-2
731 Bytes
sha256:72a0300108d097381bfcff62f6bdbdeee1ac6286e8aec5fd0db912902817160e
results-80500-3
689 Bytes
sha256:d9f1596ebae3d5daa9cee4bbac8cbfa08ac2d52f835ce68e550029e363fd3ad0
results-80500-4
801 Bytes
sha256:5210481eea2f04c4b2c8dde4acbc6db6cf744f1f33f880e6044d5e7fecf78e2e
results-80500-5
774 Bytes
sha256:42d286f77dc25076d6c1d0fd165d4ad043ca971ccbad70b2c7fbadd93e0ec9fb
results-80500-6
679 Bytes
sha256:12b73d56d3284f281705a94730d758c1bf32d5e5ccc3b6ea3d5a559fee0a225b
results-80500-7
758 Bytes
sha256:4077f940160bd19c5044ad76a6633224df66cc4c0709ff96dea7a6f830becf4e
results-80500-8
795 Bytes
sha256:8d63ee3fae9558b5444c3596d5275d3fa5d696ac7544930e432dd994e58eb161
results-80500-9
681 Bytes
sha256:87791746b19776534ed2354687838820d42b70fd8d711ae3743370893880c47a