Skip to content

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

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

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

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

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
577 KB
sha256:e3a1a0dbee759fd6f6d504c8e6707c760ad9d578918ad817dd0b1184fc1874aa
playground-cache
538 KB
sha256:e8d104c6e03c98845632dd8de20dfe70cbb29af197bd9a381722afc15e936d96
results-70300-1
9.46 KB
sha256:6b249c4ffe5256543e28b5c48f99737b822ce3f802cde3cc36d3e81e72c8c0e5
results-70300-10
8.92 KB
sha256:2347519a906b88f9dac15264a944da073b7f6f71167374234974b19dc7b41f41
results-70300-11
9.95 KB
sha256:ad5d2f98ed6b30741f8270b2082568ca17b241626f6adcc73a697d54d262d22d
results-70300-12
9.54 KB
sha256:9ea60ddb999f40b4c1afcc0a6495072b0390bfd6736f90806ac172efac91d024
results-70300-13
9.56 KB
sha256:bae4c5d6cf1a9f8df5ba3cf2b9b7efc20a806d322fd550144fdc8cff0becab62
results-70300-14
8.24 KB
sha256:1865fc707207a971c8f14c14e8a7bafd9adff2a8490750d5558be51c92a5e7b9
results-70300-15
8.19 KB
sha256:5fc8bbcd949b95c4efdc48a676ed280257080642902586c93f0890a52a534ce2
results-70300-16
9.79 KB
sha256:ed247cb33c3d930b1f09157dc32866f2975ab5676413d8ce2420650c7f33f874
results-70300-17
9.48 KB
sha256:c4658cc0c60b4648c809de917c4abe8eab5b2a4aef470210dd1d94539f54fb65
results-70300-18
8.73 KB
sha256:bd0cd42716d8ac44057b3696438cb584e7328b03df321f880d64b500fde1c71b
results-70300-2
13.4 KB
sha256:c7b57990a9cfc8952b9865b9667fed414394dc9589287e85138da623b82bac53
results-70300-3
7.9 KB
sha256:41d73f418765cbb7f451bccd02c63b40aa42965d482f856384322cfdc3b8bff4
results-70300-4
7.08 KB
sha256:44913672a5d66682d9cc21c453ffdba84519a0080ceb6fc250dd25a8b9fe3b0c
results-70300-5
8.49 KB
sha256:1f6accb43d5a89e9a8d5c9d8d8a8434014499a10e073f65a0aeb7c03e528080f
results-70300-6
9.06 KB
sha256:4b35487def9fc077e0319bbd08bf8d234f7c537bdea4adb53675d0b85197661c
results-70300-7
7.65 KB
sha256:f97daaa9a9327b15ac42f4b1f78e979cd0d2658fcf126099f2c9269b112d9029
results-70300-8
9.51 KB
sha256:5898699b8e6271ad2e586e93d4861ba6c01689609ec39a28bdad580a1e31e88e
results-70300-9
8.58 KB
sha256:dc4d54274f6d18f577f6bf7a8522cf2fb4b7d44a5f180314bccacf8330d9236e
results-70400-1
9.32 KB
sha256:80b80b74f34105623ac0085aca8e9f2d554a3d20afe7958849628bf90672a66d
results-70400-10
8.85 KB
sha256:af3693e874a79bb52bdacffd6f5268a31459d09fa8d1a9a6dec0e2a4baf8e172
results-70400-11
9.89 KB
sha256:e077f54ce9710e514484c4961c28fa2f9d5ddca21f686c9f73459b24a736f241
results-70400-12
9.56 KB
sha256:dbb1333d06adb95ac22467c68e35baf0eb3a3f7fa28dc771aa5c8a4f06d002fd
results-70400-13
9.56 KB
sha256:c6bdc2b3e501cb24884363379082f596032a44bdeb621c18acabacc192794abe
results-70400-14
8.24 KB
sha256:f05a81d4ea3e7a5ba1e739e4ca595c8b1832e560989206b3a0b6b960a60a501f
results-70400-15
8.19 KB
sha256:5c6c4b6430266d0a0a583a51a2398de3b3e21fed4297091adcc3de7dbaca14ea
results-70400-16
9.79 KB
sha256:fc918561cb8060a9b177924bc71644f9b8289365f1a3b28081062f853d4c5c74
results-70400-17
9.48 KB
sha256:d8a63dd59d4dc7d16c76747f449523b8481effc56198a46bb3bc191ab26d94ab
results-70400-18
8.73 KB
sha256:96fe62b7f162e48411170bc7ba9bd231f12df455ec2870839c5403d1eab70835
results-70400-2
13.3 KB
sha256:1ebf738573093aee47f775ac101f0da4becc3606be21b2984c07c04dde35a4b0
results-70400-3
7.81 KB
sha256:58a49b706b0620a0b9bcd073c0883e01514f1df1f505a168bee6ea06ab8d2784
results-70400-4
7.08 KB
sha256:a855a4bfdfbe80cd2c6b458ef6727614531c6287f084c651ece20bd10711fd02
results-70400-5
8.49 KB
sha256:a3455829f8d3104636414209312623be55b89b0404a1b9b1da6ffd7854ff1017
results-70400-6
9.06 KB
sha256:109892ef2a79b3a4899257a66861980a54a23b4dc3d9110d93a19c8176144bbb
results-70400-7
7.52 KB
sha256:afdeb94e1c99f22087e1f4a2303bd909f8aa58e6e68fb09885c4af5dc5c8368c
results-70400-8
9.52 KB
sha256:94c7fb2469275bfefba92e639b2f6488acf59d37aa3b89dca05286bd1456926a
results-70400-9
8.58 KB
sha256:94cb347ae21a7b2364c094436a7239343a5c6073bb90bc0f5a63d5ef31dc1b0f
results-80000-1
7.23 KB
sha256:e76211fa5a26a6623409e4a5741d0809fe9b7b9ef0afbb75fbddc16388fbde7c
results-80000-10
7.85 KB
sha256:2e4091b4d9db3529f5642b12de035ed00c6ca5d0cb0a2d5174d5c87467fc4365
results-80000-11
8.39 KB
sha256:f4a7ede617f89d65cb86d639ef361e4ec5cb92183833db4a4ca9619bf6d6b890
results-80000-12
7.2 KB
sha256:ba6a2681caf0706f480e226c98ee06751956bffbd9512edd552de1e893503ed5
results-80000-13
8.18 KB
sha256:2e2f8388e40f2dc69d4944b556326dcb75803bca03f65a024cd808d0e888c46a
results-80000-14
7.49 KB
sha256:5e42f50bcdd3ebad463d72f0122c225a74cdc2a1931c95dd2db088c4614086a1
results-80000-15
7.94 KB
sha256:58413bc7a72f1933e1442aad955741dc20774a242e1324926232d3d1f347f25f
results-80000-16
8.67 KB
sha256:6200a50eb111a0521ee99a508df639580200ba5051eb6e8d0211486e19efbf61
results-80000-17
8.04 KB
sha256:706e3b97043f34b01d5f84fbb19541b471863662bbd8e56d7201fee1e892365a
results-80000-18
7.41 KB
sha256:f28cf600ebcc29b801ba81bc4f7dbdd533cb9fca38edf17fdeec942d2cb6f676
results-80000-2
12.1 KB
sha256:9314e11639fa00c954611be19db9a5387ddbfa90c417acd2e07e1ff3a117e1aa
results-80000-3
7.02 KB
sha256:853216a362a2e852cad47534dfa69da694bdd169fcaf647a51994a1fc92af04f
results-80000-4
6.42 KB
sha256:690e78ed3c784cc8979738041b3cacb679e4826ae46723be84c7a386ee7b845e
results-80000-5
7.61 KB
sha256:db03fd443fa7c1df238479f69d4444e283e41a60e60a8fec7c665c4f123e908d
results-80000-6
8.5 KB
sha256:8efea999232dc0a0d0a4d84764593b6136ecd9a6700beb0e49a794a80b01682e
results-80000-7
6.75 KB
sha256:ff5c64e65c1aa4024766aca31450243ef361deefcddff9f4bec5cc6a466e960c
results-80000-8
7.54 KB
sha256:6715d1c4d93bef91db48222bc77f9247112c7c3145ca28fe4f7f8c3665f60d45
results-80000-9
7.96 KB
sha256:56839d11ce8b501eadcb853938adcab448127de10d82dd0316a882058d5b8ff9
results-80100-1
7.21 KB
sha256:5fc014312e323011fb85fa07455a540a87b6cb3c63dd0511dfaac89cfcced6a5
results-80100-10
8.23 KB
sha256:359ea7dee14e026efb44f4b3316dc62abb315c3286d915869bd2275d95f5e9f6
results-80100-11
8.52 KB
sha256:9070f6ef2b5014c258268ebb49003f8e4e4500a9d3d0a4a068382275e6f33ac0
results-80100-12
7.23 KB
sha256:bc8c1f10d747a64ca4e1031eb31984479a8dc0e10662a232ce688bc54d9ded87
results-80100-13
8.08 KB
sha256:0e553b0cbb199a966b14d6f00c3413ae387b2ae2b347acd5544eeea92a13922c
results-80100-14
7.49 KB
sha256:4facaedfb385d24e5db4d9878bdfd1ca422de053cbc6c367e6b31a78f32fea2e
results-80100-15
7.88 KB
sha256:793f5f63cd799fddda70023d6ad15092e02de6cfb2425467ff99129c92b8fdcf
results-80100-16
8.85 KB
sha256:1c8dfa6b6a6cbabe976188a65ab0346eb98c469a63e31635508a329c8987ea79
results-80100-17
8.09 KB
sha256:322d787c8a1802daa35e9619edc77b0a5da5b3ee96369e72681d0477209e8a4c
results-80100-18
8.3 KB
sha256:e426e823016d073505b9dcd247ba05ed56f61fc8b7d7c90cfec21dfea2289b85
results-80100-2
12.2 KB
sha256:9ae64011cde41e352944fbeeb005d4ea2eedd77914564dbe35301b087fc53882
results-80100-3
6.96 KB
sha256:e8856995e3b9ab8701713673a8d4e31479de78918209a9f1228594b8ed46504a
results-80100-4
6.53 KB
sha256:ac5e95b0b89958a6e9f403f0119416276a848e1e4a9b09b8148937eb8ed566d9
results-80100-5
7.61 KB
sha256:cd8f4cb4ee128bf700e6111bb97fb0cf4ac64ac1f178fdb98c7a43572603076e
results-80100-6
8.43 KB
sha256:a1264cc95a1eec128e44b8a67a523a8dc765b3cda4584f1d6cbe8055dfa15ba9
results-80100-7
6.59 KB
sha256:ea5f6791e3c5810c33265afb1ab2cd92a497460fa8c81875692617ee401565c1
results-80100-8
8.32 KB
sha256:6366cb7241e593580311e95ed2e829cce5b5846655bd48501b446871ca2a18b7
results-80100-9
8.26 KB
sha256:a289b67b88918f40346dbd4a7d921136eaa6e792017dec58b768da92dbd36ca4
results-80200-1
7.17 KB
sha256:8f2a9a8c026f51ec7ca1dea91b5b12f6af2f192f4faeba4024b20b7b3f2b74fd
results-80200-10
8.01 KB
sha256:3c2930121af5ffd52e6e574618015703fb39be3674aa1780cc2c0382b635f3aa
results-80200-11
8.52 KB
sha256:681f9064a5a23fa1f016732d02e4df24c963283dde4a1586ff1d172946466364
results-80200-12
7.2 KB
sha256:a7bbbc34c759d46bbfda56248062515d10d10ea47d60d40d2fb9c93a20dcac2a
results-80200-13
8.09 KB
sha256:5d343edc8b5aed08a52218ae15616dc4c742caf780d7ac134e1676e4a5131266
results-80200-14
7.55 KB
sha256:33511f4ed341327ce3f153a424766f5cdd525ed8728f792ea0e92cfe798f6367
results-80200-15
7.89 KB
sha256:7a0aefb2680123d1430671cc95b177d03c9ab28cae1c3521cbe9e79f331dfa83
results-80200-16
8.71 KB
sha256:c5e6a04bb9251216bc607b416dfadb3fa8ac2852c95bb3f974580af4480e1ad5
results-80200-17
7.95 KB
sha256:b5b6ad4d25e8178a8f18a5190c0b575fb4ae74300413576289ff8e6e7e64318e
results-80200-18
8.18 KB
sha256:d7af0bca74e6c4e94934c890e9210c51afe3e6f8164320e9c57d6ae89c11f7f7
results-80200-2
12.2 KB
sha256:9b905c5dfe547bcfaefc795ce2b46c69c4a3e0aabd8909effe4ba16b81688a49
results-80200-3
7.04 KB
sha256:ef3aca946e16a9d180bacb240421a7e77330f7656c0c38a95f6f40bc0054a014
results-80200-4
6.55 KB
sha256:8830ee16515d1bfc9c1dbf9690abe300cc2a722a395f9c57f08d234089e9925f
results-80200-5
7.57 KB
sha256:371144d32977e3206a6fd6d0a8e89396b42e01d081ac660cc1befa409d91c829
results-80200-6
8.45 KB
sha256:3841a0bc66cda7f4839ce7703d0d8e95c94a3af48cfe8eb52d981b8ee42330f0
results-80200-7
6.64 KB
sha256:5fb014d94f870a0e70f67a185b1d8c7a979c74f4adcbdb5c083817b243f29927
results-80200-8
8.04 KB
sha256:863bfe48983012f480564aa0eda69b8c92f67294b52dd19cd13ce0100a3f7f32
results-80200-9
8.23 KB
sha256:01ff12cdbaee7e9e8456ffd1b8b2fd71599adcafb0cd0237e2e4e021c228db17
results-80300-1
7.08 KB
sha256:efe95710fec860e33407b8004eaa1fb75b998530e91d9e4c64178474445e6130
results-80300-10
8.01 KB
sha256:18c56d485b9de8b21d3132a19f86bed46f8b88e2550113b702a91a5103c78415
results-80300-11
8.4 KB
sha256:562a8f104bd16790c7c153da78d3c8136cc7d00892f20bc7a30e355c7d2cf61a
results-80300-12
7.22 KB
sha256:5a7def1d68bcdfd085a9cbd896f28b77aea79a2ddd5590db97289a78fb572528
results-80300-13
8.09 KB
sha256:ae33408db6dce5cdece3d30c41d567dd187061dcf36679646a8d0af4594e450c
results-80300-14
7.55 KB
sha256:9693adfb0b80382807f8d0ad92420c05a987982ad406ee51bff1a01b23f1b631
results-80300-15
7.89 KB
sha256:54279316a72eaef0ce75d145164932bcd228266bbbf08544dcdd936e6cdb9f9b
results-80300-16
8.64 KB
sha256:badff8f1eb5ed087c094f7556613c590817eeb30ac24ec9101bad77d9538c14f
results-80300-17
7.77 KB
sha256:23325d4395a3e7b6f4ea16e734add5fd28f8d77f6ad162e148f28ade7267ebca
results-80300-18
8.11 KB
sha256:b754055378056a6138001357d5880be4f15be1739551c801d369202eb4f8056a
results-80300-2
12.1 KB
sha256:497404529504c06116ee1bffa0fcfdeaa2efaa54e7f46ccfc9be942ca2a7c7df
results-80300-3
7.04 KB
sha256:8ceec90768423a803d0197f2f6860ad665e4c64263a718247e9cb7cf63c10a9c
results-80300-4
6.55 KB
sha256:9aa3d5deb345fdb68a896297d94192d7cef4a8e4fd0a416a9ce8a035f3eed0a0
results-80300-5
7.57 KB
sha256:881fa9a536ae7add8cd947da87e8086d8ce04222fabf6027afdda8f14ec7213c
results-80300-6
8.45 KB
sha256:d0a0089c351a8007b46ad4127a40c5441b4198de7253a9ca3fcd133610629753
results-80300-7
6.64 KB
sha256:0aadc9f1a99f51b7ce844bee870b893b6ef4cea429578f79ac5a15dfb96b4ade
results-80300-8
8.04 KB
sha256:76215bbe315bc1f67d8957543f63bfff8a1db0b35224f88e4417fa5b969a4e8b
results-80300-9
8.16 KB
sha256:b13da66175e091f0b2c1934804351393e191ddce6e6032a55925017fccd40046
results-80400-1
7.03 KB
sha256:bc69ce3ddd381d8408db35c33f13500eb4c8b0921270d554cdf4491acec01d6e
results-80400-10
7.97 KB
sha256:613cac217b51d53ad2435af95cd6c91238bb36e1029ce2291370a16b9729d8de
results-80400-11
8.4 KB
sha256:71cf4d7dcb0e6a135f703c3d2846e7532f3f01cee65b0acbb30f0ef21286710c
results-80400-12
7.2 KB
sha256:2d428e90124ddcaf012f33b6169f1eca688aafde93ece7c3f368717333f3787e
results-80400-13
8.22 KB
sha256:90d9375b62170871c1b88f6b58ed2b67d451f4256cbca9a70dd788882803d766
results-80400-14
7.55 KB
sha256:20c9a154d1c2683802cee267aa548d59f11c5b8deb8f0c2517cc3b0247e5c477
results-80400-15
7.84 KB
sha256:466f9a6f368673feba00543d0aae64e17f92353f3cd5d7727aeed056d9fd047f
results-80400-16
8.52 KB
sha256:562cfe7ca5c1d832a1c18ebc54cedecf39bcde1c451cb1e58eaa941580f6ee79
results-80400-17
7.77 KB
sha256:ca8f7c56a1609809641822a78b30f0d16a71158bbe5ba6f16a39b815316809e5
results-80400-18
7.9 KB
sha256:6fb7051602be05319908985ac76f56b56317ab8d65f9debd34020fdcbaa85b10
results-80400-2
12.1 KB
sha256:d71e218b5da7316d70243aedb815ba4af321de1136c3c268f02ac4e6d08dac0f
results-80400-3
7.12 KB
sha256:d291fc0db3fd87305d88c4da2a6787bc2afb01d5cbc25d39186a9dd1a1afabfa
results-80400-4
6.55 KB
sha256:d06a40bb2cee2eabb41f67e0e5266687879590d05a29070a97a5fb6b22ee96a9
results-80400-5
7.55 KB
sha256:4c6582d56849bab7adb6402c6865d82379206ac1b480288692eb5d53882db749
results-80400-6
8.45 KB
sha256:07d902b298b93e8a2ac5569b0836fe6dd5fde99d59bcd3cd7f5b72a7eb9ea899
results-80400-7
6.64 KB
sha256:a62b19f57f43c9af3956a4321bd3afb746892c1c6fe7b73ba008aa2a1017a23b
results-80400-8
8.01 KB
sha256:6121a8fd2f39731fea5ff4181aff6079f1e65f471a458bf1f5887e10ada6f3f7
results-80400-9
8.16 KB
sha256:33aec735b1f37c8416babf316c399854658a28df6829577a5d3f73fe8f635bda
results-80500-1
955 Bytes
sha256:8ce45eeb24e842bb4a8aa9c59b00c87794bb41d71062ee9b79dbbda28df35423
results-80500-10
723 Bytes
sha256:ffdb626d951efa93f9d51ceef4c03e5d3080c2de54d34aa7496d47179be07e42
results-80500-11
822 Bytes
sha256:80429b2c3497aa0e33b2a42157ef6c90e96ccf84b6333e81f4a2e3fea18a3f6d
results-80500-12
713 Bytes
sha256:b2190036f3aae70f2b3adfb6bbebbdda151a21f842d76678b1d2ae292436e5c3
results-80500-13
799 Bytes
sha256:33427065a49ac14b925c86ce2eba893a53f6c50afbafe144951fd39d48a7e2e6
results-80500-14
968 Bytes
sha256:112d37634f725db1ffcacf671e280b45e0fe0795c01286a8a968baba850bac58
results-80500-15
972 Bytes
sha256:4f471c4d611605454ab1c8cfcbed9bc4fb3f83d8b3dcef36627bc58db70ca452
results-80500-16
735 Bytes
sha256:350757c934e480cea8ccfc89928e366870f3c3e7f3f1bce0c4adef8a912cb005
results-80500-2
731 Bytes
sha256:227bc9d9473042e7a141c2dc609ff37121e10b6e09c3cbe445d390133da2a9ba
results-80500-3
689 Bytes
sha256:4e3c5ae2685dfb38d2291a87431d4f89c8c6ee22336a5dcd1d50dadd63a7ccd0
results-80500-4
890 Bytes
sha256:66e040af041189260fe842d1778b9df6599546ae4cd25ba677e5da10abf7af52
results-80500-5
628 Bytes
sha256:36bd61d2601e0ce64051fd5a630c742dfe8710397eadf1dbbc2f908065c868d7
results-80500-6
642 Bytes
sha256:fd0ccd6e0c3acc65a44f5a563f2193cc1b40fa74dc4093182965b22bdc3aac4a
results-80500-7
753 Bytes
sha256:79bddada3d276b89c5b6999020de17ac4f72c62e416454a24077938d0e301f49
results-80500-8
792 Bytes
sha256:f607ece6ad292fdbeab81b080e13c692c95ae211ed548bf52f5679eccb45b34f
results-80500-9
830 Bytes
sha256:d81471186d26dda560ab9740c01a91293d8fd4f65895b70e551ffcacb74e6993