Skip to content

Skip deep expression when root expression changes while scope generalization #13344

Skip deep expression when root expression changes while scope generalization

Skip deep expression when root expression changes while scope generalization #13344

Triggered via pull request September 29, 2025 16:23
@staabmstaabm
synchronize #4390
staabm:gernal
Status Success
Total duration 4m 12s
Artifacts 145

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
581 KB
sha256:6f7eb3d70a4438879d500f48aaa8e92fbf8631e827e2955d326a6a312b20fd58
playground-cache
545 KB
sha256:3046957983d69e7703ff1084c078913a96a0f28b04d43f36438065bc38fe2ee4
results-70300-1
9.4 KB
sha256:b7d8890e2ad1f1d54468db333cd272b3e313ea044c05c2e896fd4e5df12252c5
results-70300-10
8.35 KB
sha256:d08f89ab0a630a4ca606efd6d7d9d3ad21c8354eb7b33e859b74e7fc4d23497f
results-70300-11
9.24 KB
sha256:c7ca10345bffc74a176215ec81b1a0d0882a39b30b7a39b18c918bce48a091a8
results-70300-12
10.7 KB
sha256:fed0b697b203b735e9b458815ee502e026aaa1a9b6860580aea54aac13aae0b3
results-70300-13
8.73 KB
sha256:2d045125040c0f330d8034b7c47137606826e600e2dc1cc34734299cb3bfa7a5
results-70300-14
7.25 KB
sha256:79a0f5fb8caafa9c6dc2151acbc108669b102c38c521aa4b1c4195a3ee4d5a02
results-70300-15
9.42 KB
sha256:a3f0d26a9bd3d668dcdb421b8f4d2b67a24fe2bc6a198a9c93dbdb2b1013daa2
results-70300-16
9.99 KB
sha256:0c5a9fb118fbc1e4203a8d893ed33316ed1e07b7c3dc05b325180a6cbc13ac0d
results-70300-17
9.16 KB
sha256:e0c40e2310b3bd115d4ed55b654d3cfe136af3b0c23c60a180cdcf509a63fda0
results-70300-18
9.44 KB
sha256:95ad7e7950afb46e573ba963e491ceeb228a65e3ea216a1397b24baa3cca1870
results-70300-2
13.8 KB
sha256:f0d15fe1bb48f04c99d22780da9f0293fc5c47c02a82d12353b4c595c8cfd53f
results-70300-3
7.45 KB
sha256:0ea1eceabd5f494de8a7da00ab4a6385170a6ae6be5fb5888715dcb1fce12da2
results-70300-4
7.47 KB
sha256:50ec133b101c825d720b9a4f07492322ca3a9ef79722c502f739fe161029f1ac
results-70300-5
8.37 KB
sha256:bd22b17e1dfc6665d48b4faefcb1d40902530607fe08413fe169657ca61af2c4
results-70300-6
8.99 KB
sha256:17bd1008f209c336f5ed7dae29c5d5778662cca865534d524f693072969d28f3
results-70300-7
7.5 KB
sha256:040c1e9adfdcfd69e1a4b89995c0a82d19cda874b3cff8620892786786aabcf6
results-70300-8
9.45 KB
sha256:d391675570596c51e02ad61902cc2b884f28f823f5c0c0d002c2c4e02f637186
results-70300-9
9.11 KB
sha256:dd95e21de322058e2359fa147f54cc5911dbceaa3ee4e263a891a1f1eb39ea59
results-70400-1
9.16 KB
sha256:12563ba8863e2d5d92f92af7512583d3c7149427b06ccba6ce214f53e0ab6e75
results-70400-10
8.3 KB
sha256:2bda64670b2ab305ec40e53c3e54bb9b4e80c350ee10ee7ef89b8b98a1ae75ce
results-70400-11
9.19 KB
sha256:9e4f6b71c89607dc3f1bae9439247ae03159edf528308e070451a150ba7c27b2
results-70400-12
10.7 KB
sha256:4831e6c0dc17aa25b1578fdd31f80f9743fb489f79e245b716536fa1ecba381e
results-70400-13
8.73 KB
sha256:85ce581ff30d442c0f7bae454701006efaadcacffc1a7f8e1f6108aed006fd44
results-70400-14
7.25 KB
sha256:39aee77dc8d19cac3acc3ad056214d8139c9235aeffba8387d092bcd7adfe7ed
results-70400-15
9.42 KB
sha256:0bd7790735caf5cf5cf2d2a3c6b5c37e5c0b7dd0a0462ee4465721e39d18da16
results-70400-16
10 KB
sha256:20a43ae838ddeb0c3101b9b5c33aab5c0c519abd036f96d3c176ba9582ff1ce1
results-70400-17
9.16 KB
sha256:653ccc133ceef2f6b297c174914240c049b7dbb729678e5fe1cdae0cf050b12b
results-70400-18
9.45 KB
sha256:9406d8aa8aacd1e0b192a8e1ca0761b229d9a8cd911f688449992339064654f0
results-70400-2
13.7 KB
sha256:0a91b8cef27c21337dd456fc830efb339f474e88861d969a9e9594c123d5aaed
results-70400-3
7.45 KB
sha256:dc230e620a2e0b4a21ebad081814cd0fd57241f8f7dcc044fafec86343914089
results-70400-4
7.47 KB
sha256:691157e3cd0d5adecdaf38d7b1cd70acc0e90f3cef97613bcea13cafdc228052
results-70400-5
8.37 KB
sha256:e281af9ee25cbc0b824202aea203636437628faa6bcd08ee9afe4e128e573bda
results-70400-6
8.92 KB
sha256:d4d6723f4fb96f63b8028a5a4aac667375ed3b7d806f407e4b524c6dd6084b98
results-70400-7
7.45 KB
sha256:a09db2037b0b956e637077383abefd6c37bc398dfa60da1fb58030266c6dee27
results-70400-8
9.46 KB
sha256:d59befed1ac57773960c4520482557ee74b0bfe50fe0ab585815c367842f1235
results-70400-9
9.11 KB
sha256:7c43f389c2c1a679672e67bdf18084ce3ab0b91d84379a08bec840153b235204
results-80000-1
7.1 KB
sha256:c23c48765c4a4acc6abec8c5da8769df9249c1881d28e65d85c81ea6eeb279ec
results-80000-10
7.73 KB
sha256:2fb2eb018589eba3d4b648196ac3b43b7f27a2e40958ea3cebdac0aa682a042f
results-80000-11
8.02 KB
sha256:560dc57aa43cc8c3560d37a6f77a95a5826dbf807dde9a858e74760847223016
results-80000-12
7.94 KB
sha256:2a35f56163ab91558ab88482815e6a996737b1c350a83c4f5721140ab4d2689a
results-80000-13
7.58 KB
sha256:dec409c3eb1b8a81ef82c6ac51a5b3a86ca2e039ee39fcb3481654cfd67e1af3
results-80000-14
7.04 KB
sha256:0b70a2a819e6b2528743484e596e89dcd0e3ecad73aaffa04322434a68c4dd29
results-80000-15
8.72 KB
sha256:f4d680f941990b1da29d35a2197cac35a502de2393a2a9376aac0041c9fd9eef
results-80000-16
8.33 KB
sha256:11f096dd9f6673396055c1b1b3914b70b6aed8f40103f06836d1f6a9a49577ab
results-80000-17
7.37 KB
sha256:947ec499123ef190007e9d0be4d39906c617c2eecbaadb836acdb3a2889c67be
results-80000-18
7.73 KB
sha256:d9d268e45bb20f6cde2484bedf5713f30c667179b6ba2f7e12ae0d18ec8e52c2
results-80000-2
12.6 KB
sha256:c245ca4ad8bb1a31400e91b48bc70b7f79cb3c9b785385c30e298347a5da9136
results-80000-3
6.8 KB
sha256:f9fb690225cfb1aec6f5ab0501f8b4ddba59145b85fc4ba15f966e87fb2fb897
results-80000-4
6.59 KB
sha256:cceaaacea81fb2c1db78bb1dd4e663900a957cebabaca44a8614444a496f0b7f
results-80000-5
7.32 KB
sha256:b8e03c9bc514a2923d2aca346e5007e7196327336ae36f7862a0b687d3d633c5
results-80000-6
8.5 KB
sha256:6300ad5d10806c84655fb9954cd9e89278d5636232008b2f9b74ed09de8c8b27
results-80000-7
6.73 KB
sha256:2d47b099d5b12cfdb9104135aa666a73097877f31771505d38eafd12790d0be2
results-80000-8
7.43 KB
sha256:e25da94cf72bbf6e775f6f204564b424e30b446f2126899169b795cd6bb4aba5
results-80000-9
8.13 KB
sha256:891d82d4a62b5d55037c97b5904de1cfaa2c3e508750bfdc41f0af346939e3a4
results-80100-1
7.08 KB
sha256:f579f00e40a3797de39d52f9aac6cbe42a326a0ae23b2af14b774881f34d9e56
results-80100-10
8.04 KB
sha256:9cc4c7098fdcec78326508eac5b8aa6fba01618b2115b5cd625c295ac1cdccb4
results-80100-11
8.09 KB
sha256:3b29bb48fddade1cb9eff6a20c8b629635cc28f4590d8ffac6a92892508fe359
results-80100-12
7.84 KB
sha256:169cb9aadb65ff35ac32013b411bacb315faef63d2c5ee730b2d16226e00dc74
results-80100-13
7.62 KB
sha256:8d5fad9a5a9c5a2ce7c8cfc9dcec87fbd35e52e8c62d6ce1e81a60b72b7a43b7
results-80100-14
7.04 KB
sha256:39bba0cc15c817970a29e414dddf0316c577629d9562df22084a6829fb2e6821
results-80100-15
8.9 KB
sha256:38b347a9442cbedfeeffc618bdd2c1d351226319705918124a09afe5223be19d
results-80100-16
8.24 KB
sha256:28fece9ff2a747bbefa0cbfb01fd870714bb9fbe9843dd42d9eecd601f7f188f
results-80100-17
8.44 KB
sha256:ae745ed680b031e63904808b9972b293379b81cfab88c077cc2256c198949d56
results-80100-18
7.58 KB
sha256:40c989b796a977c8b28f22b5a870047efb39fcd336c3c9b3afa72774065ca205
results-80100-2
12.8 KB
sha256:2248e8e9489bc1258a2b8d4dd167c9b33597bf193717388e290a446203a32fc4
results-80100-3
6.71 KB
sha256:2a57e7cf782fe755ec46603d94aa28db119afa287bc57272fb864d87a1c5e235
results-80100-4
6.72 KB
sha256:fd31c6aa518364a415a3f215466cd1ce434346d00d690527ef75fa4a0a5e82ad
results-80100-5
7.33 KB
sha256:9bb6f77409da6fd0681f479a71e66100ced34a527e8b46d487174ac98b08a7e0
results-80100-6
8.36 KB
sha256:493cc77aab81e8d238a848dbf8565e17dbe2638aa4d6cd3b3208a9c40504bf2e
results-80100-7
6.69 KB
sha256:06611f5f8e70614715af89c585cc91f14868379760e7a38ad3da04da8f6ff644
results-80100-8
8.22 KB
sha256:6e0fc9688055298dd4ea6b708c087a49469800d11948785bf2edbb4da5e4f136
results-80100-9
8.42 KB
sha256:b20834cc96119c2f23b474c30cd3d43f596f27543b828d2f78ded7b1942b9d7f
results-80200-1
7.04 KB
sha256:f8ded845dcf8ff93f88174986c8eee5f98dd3d62d1090af3bc25f0688c5ee40f
results-80200-10
7.9 KB
sha256:a097fc70d75392714e92d926b435db5e6f9c0a1c400ac97b1b74baeead699bb1
results-80200-11
8.08 KB
sha256:589104a0e1240f0deecc427f7757f41e2b32d7fdaafa58ef8fc1adf861f6a6e7
results-80200-12
7.84 KB
sha256:75c273df345edba71587767674ec184e97d19bc56dd283339346baedf4677ff3
results-80200-13
7.69 KB
sha256:1a2b2c9aa82bfef8cc4b734b67a94e6fa21b194003dc21d9c236d3a7e7379b06
results-80200-14
7.04 KB
sha256:475949bbc0a35935e17887a0f9d2dc5bdf6330434be8dda329383b4e3df1b787
results-80200-15
8.85 KB
sha256:d446ade08e0d503f2d9a2fee403cfe82ad8a305bebd67d14bc4035ef5d99bf03
results-80200-16
8.1 KB
sha256:7e9ff7f6ab8773410956309e01332f1371119ac83d6a4ca4f403d73b846b0c45
results-80200-17
8.32 KB
sha256:f867cb5974ddfb3404d4f3e8fdaac27e6b7b489f2518a7ab97e6c19bded42177
results-80200-18
7.62 KB
sha256:9b361c1753d58294542ad3df2fe541f3b06d524f365cb8172b08f1fbc287c12a
results-80200-2
12.8 KB
sha256:ae0c7d9d57e078aca7ababc9907ee4d2058b215556cce887dbb6f96fd9ddda61
results-80200-3
6.78 KB
sha256:0488edd783d5e7767f83a22cf3cc5e97bc902de095996de16a09e0d99eee02ab
results-80200-4
6.74 KB
sha256:f8c0227c948f074abf2ee86befc3753729c34f4e43714721c9bd64f98b30bfb1
results-80200-5
7.28 KB
sha256:42a490f4da015bb834527df23a6fa9e5763b5a421f92af7de71c36e14da478f7
results-80200-6
8.38 KB
sha256:c61b1afa145f4eaf218481f07a19318b5c4a7b5877a27bc38a01a684d2ab7010
results-80200-7
6.67 KB
sha256:f439c587f7ec72bb3d7fdab4d1bea7bf7882e4363b4433d96dd1d072a3f7643f
results-80200-8
7.87 KB
sha256:c20d25de550f308a7165f7e1bc4d9c4fd105645f35df75be915a36ed514ef44a
results-80200-9
8.3 KB
sha256:4c1a427a42b5e7caf6c7e25d56a12edfb7787356a5c11bdf7e508d005cb41abc
results-80300-1
6.95 KB
sha256:d85b9c6b65103072bf579908082385fd8fa40152065bce50ce5d039cd4049755
results-80300-10
7.9 KB
sha256:274e425549181963755f730ac6efc5b884c87c979fb79becd9e19a68f73bbec9
results-80300-11
7.95 KB
sha256:bce3310faf622dffa24eef8a727ca875d454dbbd0fa882dacbd552feec8bc6b5
results-80300-12
7.86 KB
sha256:e23f1956dca80333653f1ef1d514736def009e9eb12422a9972783e4916bf1e8
results-80300-13
7.69 KB
sha256:e5a4824c7ac1072e3d6b28838a888b9dbf76e8fd704db1ad141703a9b3e06187
results-80300-14
7.04 KB
sha256:cf983f7b021a3a5fdcc9d74a8b83de88707458e4e13832f1c05ef97beb20ebba
results-80300-15
8.78 KB
sha256:b766665d50b372d1fcd5404f5781a081698ed6d969aa04c087d02cdbc6f153a4
results-80300-16
8.03 KB
sha256:c2674eeda52b25bcbd89517d56586806f952228a9b74ebd4d3827bd488a7cf8f
results-80300-17
8.23 KB
sha256:6ccfb800746caae733bdc00ec5b3f128f6144ded7f36af6fd242efbf0802f661
results-80300-18
7.5 KB
sha256:5e1324b36c27be6fb2b6298242955966887826f28e8d6b8f57e43aff6f96fab9
results-80300-2
12.7 KB
sha256:2ebf54667ac1d811f81794ce48da1d40ea762edf2a91a477fa5b18bbf0a4f56f
results-80300-3
6.78 KB
sha256:6cecc18cae6d4582af6fc57cf68e4a455fdc3c53bc8c12b5cb067c8dfab3708a
results-80300-4
6.74 KB
sha256:d03c642121b007e110b7966a4b91808e7ba99980fb80a85570640572eda06b72
results-80300-5
7.28 KB
sha256:47461c07acd6fcf1515c969d851a28403c3b76f01a90416fdb92a8f9793290e0
results-80300-6
8.38 KB
sha256:5cc9aa068839c05a311cb3b424954d5ac4f5a5d034b049259dd359760d8678e5
results-80300-7
6.67 KB
sha256:79659fcae64f1f0de761596bebc1ee4eaa49d565b3107f252e0f9d92da5aa7e1
results-80300-8
7.87 KB
sha256:65211ef11172005a46bcb7a3ba591b2a683658993a6e715af5b41247331c43ab
results-80300-9
8.22 KB
sha256:4cfd9a352780120c5b1549bfdd8bb248a6bcf2f2768231ca0b92fe452f3a100d
results-80400-1
6.9 KB
sha256:3b46808865c8400a59945d9c6c0cd5088cea74fab8426c4c2c52b9c544df772b
results-80400-10
7.86 KB
sha256:8faa98de78adc13d76c9dc9a83c0804692622754316abc33c47c31880ab9ee44
results-80400-11
7.93 KB
sha256:0eaf1fb7ec2e4d02e801bd24eb912c241593d6bf87cf53a8e945834530f48687
results-80400-12
7.98 KB
sha256:24bff47d4a5985f06cee15d1cb0d80208ddd1b1f7202d9661c9e920e79ebe9d8
results-80400-13
7.69 KB
sha256:90a47bba2b3a494d7ac09986fb1da88188a453c47ed2de16d8091914fe132fad
results-80400-14
7.04 KB
sha256:6bfbd3133557ecf24ed0ac8b4c376efcbc159e7fc8273f798eae0a73f142a30a
results-80400-15
8.71 KB
sha256:ac17f5193ece79d121088ae6070009bc0d12da7fe519ef38e03429231c39ed95
results-80400-16
7.97 KB
sha256:eace9bddc425b91f3bd0f7abae06afd847c9db3be4b44985ece19076ef27bc47
results-80400-17
8.12 KB
sha256:43cb07a91e8c0ac6cb89a584b5780b774f11c858ee0f5c81ff911948141942da
results-80400-18
7.3 KB
sha256:8506022659c862c8e9d940a970fc1f4a1dca7ac84e8a0c2a458a5c9d9eb47657
results-80400-2
12.7 KB
sha256:7ce961e5c5d5c2de7933ecd92146d95580c343e3a38f40e311b69b874a04e380
results-80400-3
6.86 KB
sha256:970f6811fcade7998edf545b7a0be6ec2e920cf4e0e375b0f21d6bd46ea6057e
results-80400-4
6.72 KB
sha256:ec0ca41ffcb559d1315140718a2e660a3e183bb871d1d5841f28c55fa3672978
results-80400-5
7.28 KB
sha256:f893c3b38b943923986eb70ba897d8872a414ddcce7830c45f19d29eb365d8a1
results-80400-6
8.38 KB
sha256:fdda0517ee346c8d6910b0d18d71e44b44af3727f1ab892d908544db7d1881c0
results-80400-7
6.65 KB
sha256:ccf8d1c9207d45ab3901d7510ddd8d7feeefbc27013ddcd9d56f8ed6ee3d6223
results-80400-8
7.87 KB
sha256:de18f2562c0c96b61e6c7d5cc408498db8ddd43101665323688931213d032c47
results-80400-9
8.22 KB
sha256:b5ed7ca8d7eb812e51530c2c77437ced882b160b590c87c03c03499a38fea7c4
results-80500-1
1.09 KB
sha256:705a2219a6f25d0bda4a1bda6f92596b1c94b8313a6f0280caa1aad1f6b8f25f
results-80500-10
885 Bytes
sha256:4555a961d0c4b7d40d9c725dfc4a5bf4b7a25d4f7e14be6f7f6e2c51a807df61
results-80500-11
1.26 KB
sha256:ab198933ec7af6befcf297650f6e776bcce08b2583a499d473f7e6cc4ff3a049
results-80500-12
991 Bytes
sha256:aefb55aab29110ab207f10832009709cb6e8f89444fdbef461cc5e808bb444ec
results-80500-13
672 Bytes
sha256:4c477a4a4c1c7c2b949d9fd3d189a6c5f8365ca86ad85dfbb599b356186ea314
results-80500-14
1.1 KB
sha256:2b7ed80ad6dc5a17c023ea690788b6dc5c901218c4539ef95aae548b7d193a8c
results-80500-15
925 Bytes
sha256:82c219a319c3123b0988bcc332073aae450def61d3600d94f7dca7878432a84c
results-80500-16
1.05 KB
sha256:e46f7b92e46e50751bf2a731b7617669ce7821a5c0d769889f8d892c748b43a9
results-80500-17
676 Bytes
sha256:2a638b5d8f456ae8f3893f3178858a949e19984dceaac6fb496d1d3aa78c8b08
results-80500-2
848 Bytes
sha256:341f383b1fbdf6df26d1619ec2c0ac7095c83c007c31129536667d59522e9ea8
results-80500-3
963 Bytes
sha256:9082715440f53309ef550e109a833a1b37d77f8e91d1d56549f82e167eaa2789
results-80500-4
860 Bytes
sha256:3be99a2b0315c1c8306ed3134ac939dd03a7827f72e8162f8307ab6cd8860c39
results-80500-5
1000 Bytes
sha256:775ae542247fa4a35d40137b5b44bd2d594c4df81c8774fa643e59d90f93d816
results-80500-6
922 Bytes
sha256:2786e433ca14cbd7671123ef09cf36131b7211e5012e106d0385a60e2f179594
results-80500-7
846 Bytes
sha256:eff50e242d65a23df40622dc04f7fd125520d4e2e53e56cb73d21ea2fa04b2d0
results-80500-8
1.2 KB
sha256:a4f8ea83cb082c19bd0493fb1e72805fbe28dc1551a82202e0f52bb6e0b754e5
results-80500-9
1.09 KB
sha256:06b9e4f71cb651a9464f3a84fbe7b1c6b6c9d132a7b697511ca3018bbb3e8ea4