On Sat, 2025-07-26 at 12:07 +0200, Paul Chaignon wrote: [...] > Thanks a lot for the full analysis! I've added a patch in the v3 to call > __reg_deduce_bounds a third time. I reused your analysis and trace from > above in the patch description. Note I added you as a co-author; give > me a shout if I shouldn't have. Acked remaining patches, thank you for working on this!