On Thu, 2023-12-14 at 16:06 -0800, Andrii Nakryiko wrote: [...] > If you agree with the analysis, we can start discussing what's the > best way to fix this. Ok, yeap, I agree with you. Backtracker marks both registers in 'if' statement if one of them is tracked, but r8 is not marked at block entry and we miss r0.
