Skip to content

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

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

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

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

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
575 KB
sha256:e3eab98785f69f77fc62114c4f61c6a2be89127f9538683aafe672754a7eef20
playground-cache
535 KB
sha256:09d4e835c1c0d20b2c53463c859b227e4191ed734203bfae7593e2892a3141b6
results-70300-1
9.35 KB
sha256:3c92b6365b359cf0c097b1167fa4309da4b0d85615855abf987135c04ba3b6b3
results-70300-10
8.54 KB
sha256:61a74271f9a6da70a2393f3ac1c8f7866309ca05fb17948b61b8055cd88328b7
results-70300-11
9.95 KB
sha256:931cd18faeca2deb12791dfaf667d49c56a74e63c0f0fa09283774505fb09c71
results-70300-12
9.68 KB
sha256:4aa0d3ea3239b7b9bf71928eb517f8b8e4d060c2781fb9958f4ac7b6c422e480
results-70300-13
9.51 KB
sha256:7d93bc44995a7ba137a2cd6974a19f33d99d7c8161aa835f212e22eae4950aba
results-70300-14
7.67 KB
sha256:cd39495f8121027555b8e67acc68f54016393dfc134556e53c977fc511b2fde6
results-70300-15
8.33 KB
sha256:55a92e1d3ef4c4f53bc72931699a548c80b79e33f406b79013ba8e6812acd12f
results-70300-16
9.71 KB
sha256:6e294bbd89e749b3b0fbdab7135cb706813edcdc801c45e6b2290c6b407faef5
results-70300-17
9.43 KB
sha256:c1b5277f9b65c3f621f069a572f255473745b11f2e330cc13e4d84610221016f
results-70300-18
9.18 KB
sha256:2bd2bf733a9bbd27495691d607d3e791922123271eb54035b925e7fb6a56894b
results-70300-2
13.3 KB
sha256:d7ff41306a65caf5c66f27bd128585f974393071f98db94c94daf4c5ed5ea688
results-70300-3
7.86 KB
sha256:cbba2ca4973df538fca93672ab34d9d9f91b39c5f84726414932237a42866434
results-70300-4
6.99 KB
sha256:c51277d6f18212f731121aa76ededc6290e8281f4433c05b61e45bc308ccade8
results-70300-5
8.48 KB
sha256:656afaa8d25d896cfb1cf54c9c321fc25370340381fe3549475dc6fb06acffa1
results-70300-6
8.87 KB
sha256:c8f6a96ff3a15e105c8a4ddc301b968192edfba1ad6577b55465f9a50a4007f9
results-70300-7
7.39 KB
sha256:60d17e2f9eed34dff9fe3877c6f6d78d77408c17f5e86f119e1e8bd97f2a1a47
results-70300-8
9.38 KB
sha256:4536781ffa7c23ab80872f7b9595e6815d5ce2b4e0cda9893efe04e0b7ec0c0c
results-70300-9
8.54 KB
sha256:a1e1e4189b2528d587053a020f873dea56372aa3ec5bcadc81fce588fc0a98f6
results-70400-1
9.22 KB
sha256:69912e9d17608c979da0923cfb8662c242f73371d32a8140feb3b5c55046cdeb
results-70400-10
8.49 KB
sha256:649fc088478266d8397a3e742fb9154ac201d7676fe8bfef015018f42e2396e4
results-70400-11
9.89 KB
sha256:64d152d587e3d1cb337e907f13ddcc27198960e39ed2f112a45f8f9779706e0d
results-70400-12
9.7 KB
sha256:25406c2869345bb686a2384db99ca2123800a25528664fdb14b21481101c6211
results-70400-13
9.51 KB
sha256:b4bd2a8b7ee0919baab1657fec05f4ab5ea3b02b758d898ba3ee0b38bfce545e
results-70400-14
7.67 KB
sha256:eb350460f7a832686837b650d2a90db3449f0a91d2a483405a6bd4d6af251b45
results-70400-15
8.33 KB
sha256:04f5c2c1cf5e216f527d070bbe6accf01cb9b09240af66b8fbc908fa34f8bbe4
results-70400-16
9.72 KB
sha256:91482d09c03c1ca9e18d80b115e7afe8a6d30d1a3d334e1a08cff8380cd776c3
results-70400-17
9.43 KB
sha256:ca1edf4bfa95c9ccddda047b2ee212f304134ca1a7b0b1454ec05d1a264dbb09
results-70400-18
9.18 KB
sha256:d2a544819207236212513f31e89f7243ba7db45531783e87c906f660aeb8b836
results-70400-2
13.2 KB
sha256:3af087401a625b0b14552914ff8c858411ff24fd02e786a877d99d7c940b6b96
results-70400-3
7.77 KB
sha256:4f108a691ce2f3eb988cfb01bd3fffd9b94f856c299541a230999b0730db43c3
results-70400-4
6.99 KB
sha256:caee3a49596de20e7e972c4190b824e4a18a6691d292a8f57b40a56dfc0ce42a
results-70400-5
8.48 KB
sha256:974d7099b67e0cf6b846a77c6e39ca6d270a4c7f6e48d257811a6fa36862c741
results-70400-6
8.87 KB
sha256:5418d742803daefbf4e4c07b288773f790f1961ef79de853251e632c695b4b94
results-70400-7
7.26 KB
sha256:a04d078283ab137da5b37c0dd7913eb9a05ed3359fc0b1a2d6c3361c79fede54
results-70400-8
9.39 KB
sha256:1e6d17072c53670f3b06eacfd37f1aa3536584bc526769537fae35f417cedff6
results-70400-9
8.54 KB
sha256:8f1f9c23b6ac626f355b88f1faee83f23373e5306871c6ed3ae8ba3dd60d54be
results-80000-1
7.07 KB
sha256:55aa535bd551e0c4e3e1961dee9f28f05f5a15e22596451b71a28ab0efd733fb
results-80000-10
7.6 KB
sha256:1521660ce7ebc8f4d442d0df3c346dbde926a130815b8ed077859468c2678850
results-80000-11
8.31 KB
sha256:542eecf2fb4fae95b9e61ac609bfccd14c5e57e18897fe14910b73c560da5843
results-80000-12
7.27 KB
sha256:3a0dfc59b3e9c469c589dcf97fbbe5f12c6fc1afa4ca87cbdc80704b5a656472
results-80000-13
8.19 KB
sha256:71e932d2dbf590216c5ec63694cbce989771c943d459ccfcfc3e4741c777068a
results-80000-14
7.02 KB
sha256:45563cd32cf33edceef964af024c7507b579424e72112dcd459708b39b3ccb9f
results-80000-15
7.95 KB
sha256:9be703bf0cd0c90303b9cb9cd6331f0056aa185ece38f30bf3e1201382f75231
results-80000-16
8.65 KB
sha256:225995c1aace0251846b3ddb57b338c184b938e99feabb845b4171974d9996e1
results-80000-17
8.01 KB
sha256:aaf271d7481165ae87013d8b52ec933aae20a169ca0de3dfb0ad49e60eb70a0d
results-80000-18
7.85 KB
sha256:4bcffed4adae86b7e6f496709199ba6930d801a3c9541db8596b95224be52d87
results-80000-2
12 KB
sha256:76cce7f5f9f90a8ac8a8b34a798ce73c827e5e6092b78310434c7d7d721bb3c7
results-80000-3
6.98 KB
sha256:c498885a6f4e0ccaf0c2b7f2f8dee3c92eaad7dfa725d62661ff871851683f89
results-80000-4
6.33 KB
sha256:3fb1525c2677cf97de2523c40b7e1caaebe9d2cd9c83e77bd42167d945c3becf
results-80000-5
7.6 KB
sha256:cb14e16e22c592b29f66f7438c1154fef5d6fc352325c71012624641f32d5ee7
results-80000-6
8.31 KB
sha256:9a68667fbda3f9e76875857a88cac3d28e4296cf86fc3df891889f6ecf4c39d4
results-80000-7
6.7 KB
sha256:220afd84cd9fa82f2a7fb48c9f217ef829a596f5fb753e1062415dea1a08045e
results-80000-8
7.27 KB
sha256:967af0aabd113acd85e0814ed3693c8a0144b2a615a389fa6c65dce0bb16f31d
results-80000-9
7.94 KB
sha256:2ffe574d3ab3703aa9ecdcc1e8a59229019121a067947c4603823951afa6e1ff
results-80100-1
7.06 KB
sha256:e5a7cc9f3f7c16e46940519129453c8d5bd0fc53b8d4943b99741ec7aa4e9130
results-80100-10
8 KB
sha256:c8e4b88f05d8d29a9bd399291e90027ee75975adbe68ff7f79cf57439f68e534
results-80100-11
8.45 KB
sha256:f99041bfc2c5a0d8bd55489a406d047876ec8ba7117b1b40a81a7314aaa022d8
results-80100-12
7.33 KB
sha256:6b4f0adf68a3a921894e126d64672364982ae1c66625494e358cda2b26d9c8bd
results-80100-13
8.06 KB
sha256:ac10765bb36e6041ab93adace5105bc2620e1631731b5c11cb5062d08d226699
results-80100-14
7.02 KB
sha256:e3c0959b2dbf8cfc39dd1a61bf617bbdf7a70e85d83c4a9390ae41cd8b6918cb
results-80100-15
7.9 KB
sha256:b61b9d6b6c68210c78d5c9caaa7e2318a7cfd2182f62a34c65aee6d69f7dfe61
results-80100-16
8.9 KB
sha256:fa94552ddc1468dc42b25b91bd7dad5b3b7de3dda16c413b2994c80d36b15c99
results-80100-17
7.87 KB
sha256:a3206cb2314619d8c2ff37e6e0b0a066ee71e49d0aeea89f2926ffc0083c9d19
results-80100-18
8.76 KB
sha256:da0893e795abec620aa39ec8666185cbdcac1ba6736327b7b737827b1812ca35
results-80100-2
12.1 KB
sha256:f789f3cc8bca80ad9c995b3713996253d2558091a1589dc2a77fe8da29566906
results-80100-3
6.92 KB
sha256:98dd6fee73d450aa49795f3cd1a1806d2b915a123f1cf72c2f68ae4ff877ba0a
results-80100-4
6.44 KB
sha256:0ce75ce1aab671b3ef3bc3f48d64590f8835879f4216127cbce6f88e3ce4dc02
results-80100-5
7.61 KB
sha256:780433578614a869b9fa1a04e2af863b6e49e348e28897e106cab2b4dedd7ec7
results-80100-6
8.24 KB
sha256:495b7a538c12c5ce6f9003ebb6a843b36683adbce9a66acae658a997b886763f
results-80100-7
6.6 KB
sha256:9eb40af255bbd4f5a44b29306e1ab46602e133cde64fa579a028f3f2d1b845c1
results-80100-8
8.06 KB
sha256:a4c5f6f7c25e82667fe3bf19c644571833f7d40102ca60214ec9d6f0ebd3cde2
results-80100-9
8.2 KB
sha256:29c3d386ac825cd3e68d6191e09ab815c63983c9d867d62b99bd0a9df50deb29
results-80200-1
7.02 KB
sha256:778eb380ebf2ddb32a4d3ded92c2d3475b92ec3d679225204d53c2c38ca9e398
results-80200-10
7.8 KB
sha256:9b5b72791be069565c743e17cd2d2bc2793006cfd47bd63b781a333ae0c2d0b2
results-80200-11
8.45 KB
sha256:fdcbc23a93e06bf63890dc78238f01d10f18b0d9179235191ee561fee5ec1465
results-80200-12
7.32 KB
sha256:c13e2ffbde6eb3c336a5d1ddca8894329e94cfcb91244f373247bfd9be2a1414
results-80200-13
8.06 KB
sha256:0a713036b3782ab7a25d9a437c0c50a895fed01b65155e86b3cb8b52dc70eadf
results-80200-14
7.07 KB
sha256:934f9d1e3b4f72013728cc193f8376e63f032391f125196fba072ac99051673e
results-80200-15
7.9 KB
sha256:265f44b500330e9f99d4945ceafc28afbbe8c55cecfd7811c1465e4cd708558e
results-80200-16
8.76 KB
sha256:f43fabcc3112e796d59dfdc30dda74b42405d5cb30652827700b978830f01839
results-80200-17
7.73 KB
sha256:7d5cd798a358c5e9d6ec51ff175bdc64854f05ee4668436ca44bac675e16f859
results-80200-18
8.66 KB
sha256:4cff604935099128db592670d33fbfc956b6c9797f25f95d17aac9635d4b5634
results-80200-2
12.1 KB
sha256:2f6ed73105db8687d39bfe1b81125f7f98e07efaf3e6afc8047019d9863efcba
results-80200-3
7 KB
sha256:032f4cee62afd6322090704939023492c538330a09a19e74580eb161f07b5733
results-80200-4
6.46 KB
sha256:e3b0e9c0a029b2c91689ae87c1a4a67a63933a732a4250fbdd77d93344de6496
results-80200-5
7.56 KB
sha256:a2a0bc6c9aee3911db65c95b8c91423ea86000c144fc02f8060e10f3ff771879
results-80200-6
8.26 KB
sha256:1e5bb5d0bf3990a663bc095c49feac61f5494669daf4c974dcbc2295503b8c85
results-80200-7
6.6 KB
sha256:157061f4765b37126513ab29f0474f50914c54726fa1d95c0ec6a4bef4e97a08
results-80200-8
7.8 KB
sha256:aec74376eba03f9bd0f5b8a92f963f061fc250417d6bbe67f0ad1fb9e9532608
results-80200-9
8.17 KB
sha256:b0ecf61f898a9d325d977e5c147f05760f0c7feab4c9eb1b79573802a67a98af
results-80300-1
6.93 KB
sha256:949c0079da77a58ab3b3d6d2f3c07631b5528c75f87126c7fab7a74e95f7c678
results-80300-10
7.8 KB
sha256:2b08e5a0000eb45b8b55771983fe1b2ec12ad381f909a20a887a5ad72c472609
results-80300-11
8.33 KB
sha256:608271a78f7c783b14bcb550003baa5607f3f64eb829ce4c3e067941eda3821b
results-80300-12
7.33 KB
sha256:3eaad9387b2b79322a7f2987d7b5af70986874e82538a2fcbcd375efe0f46af1
results-80300-13
8.06 KB
sha256:65fcfc023b2e1f1a32fdfe4ac02b96c0dcdc671200198dffa322606891478a46
results-80300-14
7.07 KB
sha256:ab4b9923756251e7d7eaeb098db363ed094bde20df60e7934d62c3d38cf8de6b
results-80300-15
7.9 KB
sha256:4915c885815b145a9055a954872229b325a0b09d65033b82ea1e5b1320b4f6f5
results-80300-16
8.69 KB
sha256:500246f6d5ab19b68858790cd63af7ccf5296fb341b2367ee071932ba7e5ab12
results-80300-17
7.56 KB
sha256:64b7efc793eddce7c2ec9f37454b7643473d52a5f906235834f4265b31abef64
results-80300-18
8.52 KB
sha256:b74f7465942df79512cbf004c4dd680cdc6e879a3714e586ee989f80292edd3e
results-80300-2
12 KB
sha256:daf728d4a795bad88f1e392c5847a15b944c855d71059903d7ebc61c4a71e5d1
results-80300-3
7 KB
sha256:b74ae8b1fad77009b6971c820630c6dfc4db47705e63a2681970f5de85933d14
results-80300-4
6.46 KB
sha256:b73fbbb2b21ebab3bd6fd92805e27c757ed511dd2bc7ec9a5f8656ee4f6785c2
results-80300-5
7.56 KB
sha256:104e5ad9bb857494037119fbee440570be94917128a2527326e786346c7e4659
results-80300-6
8.26 KB
sha256:5efc8d5f942962d019cc7400af4d1059793ce1b415dd4970b9fe4f5a31fa1b87
results-80300-7
6.6 KB
sha256:b79ce86a6bc2f2d9242b31178e9c0e3c2829e1d40f79f9c183f1135cb6c917ed
results-80300-8
7.8 KB
sha256:95e36cf2276ed51b79e205e78c88f5ef8d58bff2bf80dc1cd4ee580ee064cf5e
results-80300-9
8.06 KB
sha256:acb8a6d0a6da870391ef8cb6150e6e29e18e8cb1af7e82492f727019c2ca1db7
results-80400-1
6.88 KB
sha256:f6497b16e9fa0c5f35ad418c2d23eaabbb963aab4defdb7e2a276e27bda2e800
results-80400-10
7.8 KB
sha256:a98638b2f8d3c87fa4ec69a5e73a437a3c8d0a77a747409adcc79cb20127d404
results-80400-11
8.32 KB
sha256:cf7941a2bc99fc454ea4b559cf1f08e7e549501a0a0b4946715c4bc5cb3989be
results-80400-12
7.31 KB
sha256:70bd592893f6a92493782874bec1dde1c3d5794862e5ffef1eb4b4f5a70ce147
results-80400-13
8.19 KB
sha256:2ce41351764bcc71cf76ed1c028dc4b0084aef1a19dde9c54d49e2447f66fc7b
results-80400-14
7.07 KB
sha256:b98d1ef595025dda895c0386715399f743dead8af92713cb015970ebce615da9
results-80400-15
7.85 KB
sha256:48c7063b5f398b275ae333f41cd2e9d13a64d4836e33bdb48fa1a3149e28fc12
results-80400-16
8.59 KB
sha256:9ea84b188db77e20aa576e99b8f8fb1a6ec7d15d4fc90b70c8046387e9808473
results-80400-17
7.55 KB
sha256:29d5562befb9dc3e53af275a70d8e54c02931d21ec23c205f28911539717835f
results-80400-18
8.32 KB
sha256:902b545265554d67cee87d1712b1555d10e9f44529f03c0c2c63e9d5090c435d
results-80400-2
12 KB
sha256:ed60edbe81953a9ea9ff369ae761216f740a0e0776f27570b77282989ca9399b
results-80400-3
7.07 KB
sha256:d5db3a963cc7ddce6e4e3d48151e1f72b47196a1fa731ab8f8f90e32b863572e
results-80400-4
6.46 KB
sha256:022e7e94ca597973c5c4e40037486181b14b17d669977239f52c56aeb61d7143
results-80400-5
7.55 KB
sha256:cfabc878a8eb63838bf1b3b6b29903fff2c7d4f962c257e69d0a2b44d0a14e00
results-80400-6
8.26 KB
sha256:b08f3a1437e304458baba0e157509df8ecde3adc2b2f4160bc63d21296621433
results-80400-7
6.6 KB
sha256:2dd772cb72f6306ffbc1df63619ed83e13ef296db44b9616cb3e4e6c3bbdc00a
results-80400-8
7.76 KB
sha256:73d560b91946b67cd4baf469f632288a2aa8e53a5ce2bfbc207b067c5c4e7102
results-80400-9
8.06 KB
sha256:b6fc4cee42f5cace528551c6fc8487750a4ade24ba6ea8128ffba3507e76a2cf
results-80500-1
955 Bytes
sha256:d30e9af7c097f0ba8d84f95a3751b4119e40a5e5e03d72ffe1fa5573dcb471d1
results-80500-10
905 Bytes
sha256:bbe5706817884826d2f719d1013e24fae72308b328712dd974018b083206417a
results-80500-11
713 Bytes
sha256:376bccc1fc6a8945e66a9f3ce067dcccdbb948a49388f2d7f6fbe923636e49a0
results-80500-12
799 Bytes
sha256:9775b522cf8e12de94382f2f418827e77763347096290d5b81ed227082b03a15
results-80500-13
968 Bytes
sha256:20ece3849b16685474a71f8eef7521f76fba857bd98a571fc9652a45bb37600c
results-80500-14
972 Bytes
sha256:ee6768705bb194811246e7e552d8e3448b2170ed75da10a7806aac9c514e3f1f
results-80500-15
735 Bytes
sha256:39afe003bcc5647458208a773776d3ead016717bf9c5fe61dc7a8b392c5cf44f
results-80500-16
497 Bytes
sha256:5ef1787c547d7f2997a671ad41e64a52759b123c99b3f0f700a20bf6ef92781a
results-80500-2
731 Bytes
sha256:bcf05d0d63463f8b6dbdc77b520aa657cb0e3118aca84b3f0e0d5de91405fb1d
results-80500-3
689 Bytes
sha256:ec522f7bd8b58105769979b238a1d5c0bfdabc4ea9c07c0a2d6512028c975c70
results-80500-4
801 Bytes
sha256:4a290abbb933bb60afeb210a5989599b3aa14e21577e11fb349ea68d567b418c
results-80500-5
774 Bytes
sha256:c38a51e6f37b30eccc23e276f64084da369be0bd27a36b664c3eb536d738beaa
results-80500-6
679 Bytes
sha256:5bebb1f942b5dd998dae064bb15340fc7a49f90519ddba94abab8ff1d33e632a
results-80500-7
758 Bytes
sha256:ea9df574786a22a99fb03062416632c05158280806b1b41ca9e3f7d19b3919a1
results-80500-8
795 Bytes
sha256:3bbb07002a5295a46fe1dd334c6336598b8ff41298b8b68177843708b4a00c26
results-80500-9
681 Bytes
sha256:e333c28d0bf363309f54cbb2cc8d6c07f31d46d0e709163a39a2037ba7f2bba0