Skip to content

Implement ArrayAccess->offsetExists narrowing #9673

Implement ArrayAccess->offsetExists narrowing

Implement ArrayAccess->offsetExists narrowing #9673

Triggered via pull request December 30, 2024 07:40
@staabmstaabm
synchronize #3760
staabm:access
Status Success
Total duration 3m 59s
Artifacts 146

issue-bot.yml

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

Annotations

146 warnings
Download data
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Evaluate results
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
555 KB
sha256:1728fa7c2cae9aeb04a741e63586498071f24703b338575a4d866e7419527385
playground-cache Expired
478 KB
sha256:d30899b595bbf2850c62e1e32b8e736523a452355d87604fedbac417483661c7
results-70200-1 Expired
6.81 KB
sha256:e674c8b372262231ac9f712b74169c2c774452decd240bb443884505c6a59a52
results-70200-10 Expired
10.6 KB
sha256:5f9cd7450f91d38f06176221c1ff69984a954b041ff959ae50c379b6d1849b84
results-70200-11 Expired
8.6 KB
sha256:952ad63630a7d946d90e7e890b27500059e9237859f1927e2f105d0bbea6ce4e
results-70200-12 Expired
7.7 KB
sha256:7a61e2b7a6059a9d40762b6e17dda9464d69f2dd189a6dd6e220a17b00b599f2
results-70200-13 Expired
12.3 KB
sha256:3225bb2523751503971ce897506ba675c5ee94e78ced982060bf637dbecfffbf
results-70200-14 Expired
14.4 KB
sha256:69f2fc2ac78caca3a0a1e75dc53cce3c0d3ccf99798f04c000884f5004f88845
results-70200-15 Expired
8.63 KB
sha256:764207f877936fc96229472e7031656e485980b7e05487c533a1032560437edf
results-70200-16 Expired
7.61 KB
sha256:6b08742566e669a71ed9be64bf337126af7c26644df2926e5acfaa19b1ef68d7
results-70200-17 Expired
8.62 KB
sha256:a8e1d6a386a1457cb931b3c8f99437053fcc6ced538bfe6401f153b4f2f5ec31
results-70200-18 Expired
9.08 KB
sha256:71be35e7dc9a48182e8b4f7c1f2edc664a08db3b1eec89d43401e049284c8ec9
results-70200-2 Expired
8.19 KB
sha256:44fcbb4b1f65155ce8d503ff4554c51946436e6a6bd876b1bb5c53c35aceab05
results-70200-3 Expired
8.46 KB
sha256:bc790601e47055df1b107a19c0b6b99a3f7d642d4599af1e92677d8af784a951
results-70200-4 Expired
6.85 KB
sha256:b332a54679ccca466afbcd075ee53e8c4169b881adf53bbc50f9544667f5aa29
results-70200-5 Expired
8 KB
sha256:0585f762ec898008c0d556e351f4c80d82160ce4a861e96696d6175ae6168853
results-70200-6 Expired
9.16 KB
sha256:8bad05a3f3e9c27d06b3ee01e601a7c8056ca1053234b92fe685c31a6e52db14
results-70200-7 Expired
9.1 KB
sha256:d999a83fae2163f42df4eb0d5e11d7ff4b5f381deca1ec8c1f8fd0968557af4f
results-70200-8 Expired
7.16 KB
sha256:cf61c8f4da6649a4a115d733911512ad0192534bb10c5c9475967cb08ec8e812
results-70200-9 Expired
6.97 KB
sha256:951d45d9f8639145461e9ac57b63bdf2698c1c2b57b6676717b7935df1a6eeee
results-70300-1 Expired
6.81 KB
sha256:0399b7dcab3d0691f709a63fb35de791c13262684d72a8fe9acddd78a053851f
results-70300-10 Expired
10.6 KB
sha256:1f8aa86ec4874b8a1d8606792b16ba11366bb426e3e7b101a233b941a8a0eed1
results-70300-11 Expired
8.6 KB
sha256:dd65b9f903e16f479acdd69727dda24dc9b829bdfe869826732ef5daacb40a68
results-70300-12 Expired
7.7 KB
sha256:f5fde24dbe1864acad36489315e77dde0c807922d75c623da3a478423d82da45
results-70300-13 Expired
12.3 KB
sha256:de11e105534d8e427d936de30f4c7810ef995c13d106b31238c82a9073ee2d3f
results-70300-14 Expired
14.4 KB
sha256:e2b57d6f8b6d1fd94a3fa9bb49eb0a4bc06dbaa827c7d7e4604d8040ffa01324
results-70300-15 Expired
8.62 KB
sha256:387b428083bc402ebc057a028b362c839f58a861ea75bbdd24f5f74e1fbd0db1
results-70300-16 Expired
7.61 KB
sha256:627a5e26c80bd1fa611728e53f207080103926ab8f8802d3dc5eed1f2a02b4f2
results-70300-17 Expired
8.59 KB
sha256:c168a0dd9f2d5fb58053f5afd048d4beaf39691468c13c9fe921751368d40dbf
results-70300-18 Expired
9.08 KB
sha256:536dbba6c0aebdad017dd20e777a728011e66bf6a1a03d481276824c2f712499
results-70300-2 Expired
8.19 KB
sha256:c76aba2d3c2d13e3fb765f770573576bcbd60e7e9d120c7182feddd2aada1a83
results-70300-3 Expired
8.42 KB
sha256:2d8028169681cee2e90ac33e7f593c7a453ba9ab629671cd1bd6f263f0c07ec6
results-70300-4 Expired
6.85 KB
sha256:fed8c3515c4538e06d4e051b46f8c6ddde55820fbee5dfbdb3a2c07a568fc82b
results-70300-5 Expired
7.94 KB
sha256:1aac26ce97399059e44c877c25f926158566e4371e3cc5c34e15670e29e7244e
results-70300-6 Expired
9.16 KB
sha256:e28fe286ff258e1acac5bdcbc1bbcb57544d24560ba96f1bab09f58c0ae0c3d8
results-70300-7 Expired
9.1 KB
sha256:a57b5d511a64b4f919d48d8db19ecc0afc5233a1de63afbb08315b9777e39394
results-70300-8 Expired
7.16 KB
sha256:134828ccf0a52fc3cac62171bbf99619203230c8c4a6727077d2951e9ce55ddf
results-70300-9 Expired
6.97 KB
sha256:977a3d675324d85638fdf0f151216f80dbb7d2b38cfd2f0efb7261c16131c4eb
results-70400-1 Expired
6.81 KB
sha256:228e8eea3f82e59988338255346fb2d768c08e2f022f844e7f22bb9bda190b19
results-70400-10 Expired
10.6 KB
sha256:7cf8fde160f7d52a5fb387ad4eb51f8757425e4723563090233206ab7ff1b54e
results-70400-11 Expired
8.6 KB
sha256:989f2bf5bfe20ecc17092512f50273a11cb13d6fba2c992b8c1c0401fe5e1e96
results-70400-12 Expired
7.68 KB
sha256:1644bf2162c61bb5b9449338c5f6f754247ddaa5cb1704ec9698f61dcf5a8377
results-70400-13 Expired
12.1 KB
sha256:c93b41f56432289496cf5ff5706466c9cba49614fe6aed4a2bf118d44a5cd4fd
results-70400-14 Expired
14.3 KB
sha256:3f457b855ad1093d2d4b7d3047c2cdfd50dd1acb4878363d59cc3b5f39cc107b
results-70400-15 Expired
8.52 KB
sha256:5d1a1fa0e4eb227203f40d7ec8e9499e346ed13535b7a09201a179f4fbfcff8c
results-70400-16 Expired
7.43 KB
sha256:cd37ee1893f438f23a93be9d2a878c640bae48211303558080d8bff5346236a7
results-70400-17 Expired
8.59 KB
sha256:c5126b5d83ed8e7560ceb0c3abb330bba1f24cda95f6e9e0603b76368ae793f7
results-70400-18 Expired
9 KB
sha256:76a3dc3a72ab3f0bb6870c86bb312164107acfba75a06c2b89cd8bc09413caad
results-70400-2 Expired
8.19 KB
sha256:714fa9961107e6b2473478b9ded73401daa13710acbb749d1eee61fe23588ac6
results-70400-3 Expired
8.42 KB
sha256:04ff56089aabcfd61c895b0e37c0f601bb679b83b02c52fc552059fef434684c
results-70400-4 Expired
6.79 KB
sha256:87c46a1aec2ded93d716946bcc2cbeb7ced2c0d0ec0453232234c66609e914b1
results-70400-5 Expired
7.95 KB
sha256:f00680ebcaea68a7e4e67317c55d0c78dcadd10c0b90a2bf79f312aabdcaf428
results-70400-6 Expired
9.18 KB
sha256:94387590ae9369bb03762c5a66ecd605f31680414cbe08d8d2f7ca81da32e64c
results-70400-7 Expired
9.1 KB
sha256:4cc4ca9dd10d2713e2234c3adcd19d2f646f37d86f756b5f96380f27ec7bb9e1
results-70400-8 Expired
7.16 KB
sha256:20996e6827ca779be513de615bc67fbbbbd85f6b3ed13eccc948c1a1c7d391d0
results-70400-9 Expired
6.97 KB
sha256:11c64c1ed9ba63692a30ff40a31a5afc4340166e2e272b374f138e6961e19ad6
results-80000-1 Expired
6.16 KB
sha256:d9db14395a600cfcd6b8857512a8ad547523f7109433998bf72c7a5e4bfbbf3e
results-80000-10 Expired
7.89 KB
sha256:fa0a61b61eb498ae01fc03f5467191f3c76bc14147edf79d15c8f407495fc840
results-80000-11 Expired
7.46 KB
sha256:86873cf8219adfa6981aba2297b8d3f12cb0ed245dc4f5289c771a5c62d094d8
results-80000-12 Expired
7.31 KB
sha256:f14158960f569141263b6e91b2c825729039a0aa1e8a3e17eac7ee6234104d83
results-80000-13 Expired
11 KB
sha256:6074f76397b737e30a4a41cce7ca63aff10996efc52c7558e7853597f9e58aa3
results-80000-14 Expired
13.4 KB
sha256:c3b19d7096e230cbd4a7365b66d6bc19907458bf64d42b9a6bb2fd51586094d0
results-80000-15 Expired
7.83 KB
sha256:a68631a6cad21d2c6f9f3d490c80a1096466f845c73cb2621ce38a11bcab0885
results-80000-16 Expired
6.65 KB
sha256:73e316aad56ed76094fae8f25adb56c9de4ada009c8b2e2f27c06da3be3b1e1a
results-80000-17 Expired
7.27 KB
sha256:e23eab2568cb017bd2b22bd7a7175e54aeadc0acc72670f650fd9a11b5f8e608
results-80000-18 Expired
7.73 KB
sha256:70b587aaf639e1b6dd18070df3c3e41cdb7afca845e0c3e7bbde777ebcd3c07e
results-80000-2 Expired
7.32 KB
sha256:f8ac2a333a0372010a25b03b2ec5ba888172f647a2541e3ae0f280227540d466
results-80000-3 Expired
7.87 KB
sha256:047560b458a945f3e240389b532029defcf763ca2fed456c22d33d3d3a4aec2c
results-80000-4 Expired
6.5 KB
sha256:7f9601af4e89dd07fb4cf244cf2aa58370b84e797d44f1f6f4eb41eb56e5f256
results-80000-5 Expired
6.76 KB
sha256:1f7ce2fc2919362ce4cb0c0f4da678b381fdb9ee80d916b66f93a28cb9edbda4
results-80000-6 Expired
6.87 KB
sha256:459fc41bf9322e08941ea57248415616a31ac6fb599c570c9fefcb2d3462a9e8
results-80000-7 Expired
8 KB
sha256:7e6d0cfb841955cae347896067fcf53cfe47f6e29762d1c144c47f12515fa2d6
results-80000-8 Expired
6.53 KB
sha256:d72c7f1a5905680377b8b8ca8bcae7143159bdcb6f2f713b796d9efab42f30eb
results-80000-9 Expired
6.41 KB
sha256:04048e5ab23fa06452be06a302b20551b111ac35d48364510bc52d19085515f2
results-80100-1 Expired
6.25 KB
sha256:324f8a576b9b4fcdff3f0425f8d2c59e2192b06e47f7ea8f26eb1be1f4bfef30
results-80100-10 Expired
7.73 KB
sha256:d5a5a007779872915f8376c45884a5f143580ce3a739c296d5f59dcb33727991
results-80100-11 Expired
7.64 KB
sha256:3c26d706f32d2c7fdc7cc1da25f13574eacfeed6bd0b1dadb59f015d4fb7629f
results-80100-12 Expired
7.59 KB
sha256:0be9145d9f17baf5689da0b2b2d099839b5e77e091e6ccdf6dbc9054b812763c
results-80100-13 Expired
11.1 KB
sha256:586daf667e54ae432db8ce3f7cb96677361e973460efbf3bff65a2bd7d794881
results-80100-14 Expired
13.6 KB
sha256:cef8030996698e95b84466e5b3366c5893d65570bc6690a4ad3e21b5aa168d09
results-80100-15 Expired
7.86 KB
sha256:20cb163821965b03941f752fb838f7fbfcdfe4ecea01abf480655a0f45c957ea
results-80100-16 Expired
6.82 KB
sha256:6ed558fdafe78a63288631a5b7b2f232e4de119617f6c9805580f52dd3907e1f
results-80100-17 Expired
7.44 KB
sha256:af18b9ab2697d9980960ed7e1a64c8ae28119d86d183da39fecf7592c3425c81
results-80100-18 Expired
7.99 KB
sha256:a1182cec7bf53546a4da061c69d9aa1029b3a384793027841a8639d895deeab5
results-80100-2 Expired
7.36 KB
sha256:f044ebd77a2cf1b25e387686d3f6d3b22718d72f5b20f58c67464a31ae604fdd
results-80100-3 Expired
7.8 KB
sha256:96c77d7203b89292a3a3c6f4f94ec59eebaba53e97ffd54ba4603eaf7d3abb5e
results-80100-4 Expired
6.37 KB
sha256:4e6f6943f3f37ddbcd97980fcf796372e79452bb984cb17961601897f0193935
results-80100-5 Expired
6.77 KB
sha256:68fb5a40a7d404df8d92c8cf8e676e0a6445e1d92e52debc64912e9c4a4d3433
results-80100-6 Expired
6.78 KB
sha256:537f66658c07c13b0231acab21dcd206ad7ad425eb7a3417d242d1f885718d97
results-80100-7 Expired
7.92 KB
sha256:b169069a2bd213ca1ef9553ad97a0bc2f6a451f6d8027960302359be81f46596
results-80100-8 Expired
6.53 KB
sha256:f00ca8a637ba2067180abb2ae66e7c8810efc45573fa5c0ac25fe8a6b3be0d4a
results-80100-9 Expired
6.48 KB
sha256:fbd6518a099b1ff1893b1858b965b0b5916bbc8f79686608169fc6c554769701
results-80200-1 Expired
6.29 KB
sha256:b269e44bf380d340e16a64428e1aadc44156c6bb7914a491ed80e5d4cf7e4665
results-80200-10 Expired
7.8 KB
sha256:ac6569fdf51b79dae83bc41fb1c4e17a4c7455f5647f319d8ccda58da193faf3
results-80200-11 Expired
7.64 KB
sha256:3fa2804ccf510ba0e30125d18c8996090489e13d46a63b1a0fdcef7ed126f3ea
results-80200-12 Expired
7.5 KB
sha256:46961a17cf26f944646aaa2effe094a8395dfcbc46d9ccf11a5dfec60bea82bd
results-80200-13 Expired
11 KB
sha256:174ddc2fbf68b78399536f5f004c0140b4ad55578b7e804cd4eb3459a52bebcf
results-80200-14 Expired
13.5 KB
sha256:77ca31e1cfe77a65b9e24e5d7ec9a07a4e6fd32744911679a5b7f772090172a6
results-80200-15 Expired
7.77 KB
sha256:c25d1db123792eb9540edab7c8391fe0f094d54648653a4a4533a34c3336b21a
results-80200-16 Expired
6.72 KB
sha256:5618bb3833fc8c95702ea41f0e496d7d5bc244f57acd7db1d8fce963128c03cf
results-80200-17 Expired
7.21 KB
sha256:f10169eaf51cd57852c5cc958e795e2256a0cd66bfd3761e01ed4566b48dc5f3
results-80200-18 Expired
7.86 KB
sha256:a41593305ca29b9339f4efd9e1cd23bfd79e9d28dd5d81e7ecc1cb3e670fca2d
results-80200-2 Expired
7.39 KB
sha256:7d4c44cfa44f04788c0237377df0899ad3e3aa16e4d5f0bfda25e566708e189d
results-80200-3 Expired
7.84 KB
sha256:ce9df048e1caa4fe3ee38ed5526a9bdaf02b80767a0743d6e8605ba83685f0f5
results-80200-4 Expired
6.37 KB
sha256:93dbd334f4ff2dee12a5cc8a5eda8110c934954e62a506f1ba5d2c4c8673248a
results-80200-5 Expired
6.75 KB
sha256:d582067165debc84e776b3155ead37f28cbe62e5f4fb3a9cbc94301e2c1a14a4
results-80200-6 Expired
6.78 KB
sha256:2d4e6465bf13ae2e4be2fd4cc84da6c1eafb187377561db58552335f7cc2a9b7
results-80200-7 Expired
7.93 KB
sha256:a2dc8866c13de48ffb99e35030a9e5f1534315abedc3a57427651521b4a46267
results-80200-8 Expired
6.53 KB
sha256:51890161852e24b37ef53a94c0140d77af6cead7e2c386cc6d233f4f048ddfe1
results-80200-9 Expired
6.48 KB
sha256:3ca9eb342d098428c78bd025aa12cede970ae52e809ec47744d7b411f11b027e
results-80300-1 Expired
6.29 KB
sha256:528908507720501745d9a34a4d7fef8ca19b7d55bdb1505d1dad9db5649bb4db
results-80300-10 Expired
7.8 KB
sha256:609a7f14e7ab025123d50d40e72dbdb4b42c697d7fdb75a071cbb9213d24b41f
results-80300-11 Expired
7.64 KB
sha256:4e555ac08de234bd3c6782fde3e04c3a4db90f4f385ae79d802de4218b626710
results-80300-12 Expired
7.5 KB
sha256:c1a7de23df0fb5efd63ce1e896f6f097b57b2c4770913e103b663dad1ce279a5
results-80300-13 Expired
11 KB
sha256:c250f240b820697a15e8d7f195fe5193e62f37a267b8d14de921168b7307eca3
results-80300-14 Expired
13.4 KB
sha256:d20ccc20d26311cbeecdf31911e1cb4c9a580f7de6ea9a004e100427ba4239b0
results-80300-15 Expired
7.69 KB
sha256:1711effaec3213bc7063bd31aaa546218c7b98b1023495150791093b92ec222b
results-80300-16 Expired
6.72 KB
sha256:fd10bbce2ab0e01ddaa47e77d4dcf5e31a59944c90bea887ed71af472f3f3da8
results-80300-17 Expired
7.14 KB
sha256:190e5b4831b49afd30aa399bffa308cb69bfa498bf50013c13eb615f00bf3243
results-80300-18 Expired
7.86 KB
sha256:1d5e5aac983fe03ec83138b27bd6a4874bac7ed03c0fe391e73b84aec1ea99cb
results-80300-2 Expired
7.39 KB
sha256:3bef405d04886a182f39b21a2b513e9c243a0956e66452ba09a82c90913e0f4b
results-80300-3 Expired
7.84 KB
sha256:3f8e6590b4d3f0ed701c6ba50b6ae5fa47b10b9322280c4b48e7336cbc5457c3
results-80300-4 Expired
6.37 KB
sha256:005a29f16a127844ad136efddbb63786f60dd557c547ae7705e885dbbfc50051
results-80300-5 Expired
6.76 KB
sha256:191b7c9ae85aa9bce6bcdbe727431552020a684e3cb6817c10bf28bdaa6cd2b9
results-80300-6 Expired
6.78 KB
sha256:859f49fcb903274e05f7758e40a355782c749532d6c4e059b0f4d13cc8d29090
results-80300-7 Expired
7.93 KB
sha256:bff4987ddb665a3a6f7f89a32fa9d78329cfb752b382227a731b0f57736eb66f
results-80300-8 Expired
6.53 KB
sha256:ebebb609edbdfabbd2cf8b47f1521bcbe62c551cd3705ffdf05d1fbfdedf5e2f
results-80300-9 Expired
6.48 KB
sha256:ebbe07903691022a7a5fd8fb5619b2f81de1caf846610b3c19b42c22a542f42f
results-80400-1 Expired
6.29 KB
sha256:d7e65f180b537eb8389a1ff5b2d9a93b4a02285bc327baf992598da4b774dc13
results-80400-10 Expired
7.8 KB
sha256:57ed8afeea874da48ee3db260fcfbd250b0179b5d8bfd6b5bda4d2730a0adee2
results-80400-11 Expired
7.67 KB
sha256:126a884c33f9fb4b5e00cbcc9f9c7eec2102e03d32d9cbd2c8a440a43aa4b93c
results-80400-12 Expired
7.5 KB
sha256:17c8188cf4bed3a09161d29a5a7c9591ef7ecb1eedf8d83832986f2bbecb89c0
results-80400-13 Expired
11 KB
sha256:36938b03b1ecf880e3a710e1aae64a401f0a66d506145bd20715b50ba034bd84
results-80400-14 Expired
13.4 KB
sha256:361687818c80f0182154781e4cef302bb39a8bd4f9ec2329fd10ffe54a82981c
results-80400-15 Expired
7.69 KB
sha256:a6f9fc786b6b830e480c91962c75cd35277ceebf03e01de62082a79db49b6432
results-80400-16 Expired
6.72 KB
sha256:9c9128e64242a4a7becc2068817cc3e17670986172eaef2ad49b0c13419927c6
results-80400-17 Expired
7.14 KB
sha256:ead5c74904e111f6d3cebd75dbc67b299d5179ee5825ccb0fb605ec47841677b
results-80400-18 Expired
7.79 KB
sha256:030c3089e145d7ec17d8f86b0941fab13b3d4ba3b55d4180cfa88adc89ae0a9d
results-80400-2 Expired
7.38 KB
sha256:274710d48bed6cd2893a389334004bdcb7231495e9f55f93b78cdf681a503a5f
results-80400-3 Expired
7.84 KB
sha256:8d17ec04022a3edd1715f17487a3eaeca392f126fd9c3f5931c627a33b3368cc
results-80400-4 Expired
6.37 KB
sha256:91ad28b6d2e4ccacc8f9f9c8e00e8d9e5ac8ad16c47337045384da971e3debd2
results-80400-5 Expired
6.71 KB
sha256:86cc35b2e72f9c6617dd942a7e4e8345e9559152dc1e8b8d08fc56d8502a5234
results-80400-6 Expired
6.87 KB
sha256:ecc2d31515a9862f5ce5bf4a0d624889d726001a30b60891508d9d613c8a36d5
results-80400-7 Expired
8.01 KB
sha256:b0860658a9ecd5b55ca2b4232368766de45cdb60dd224b3611a34530b59830c3
results-80400-8 Expired
6.53 KB
sha256:f382083fcd965afd08fe853a7ae6ebc37a0aeba9c34ecc64d5a3247dc10e4824
results-80400-9 Expired
6.48 KB
sha256:25ec510b7ab74953d078453e872e1e6ef057a2ec9bdc44135167e70830f8c9a3