tomrittervg wrote: Hm, testing these patches on the original testcase in #62663 (the one where we use statements 1B and 2B) - I don't think this patchset solves that scenario... https://github.com/llvm/llvm-project/pull/69057