On 9/2/26 6:07 AM, Aldy Hernandez wrote:
r13-1891-g49ba4fdeb648c1 made the backward threader reject paths
whose entry edge is probably never executed, but landed without a
testcase. Add one retroactively.
[Also AI generated.]
Assisted-by: Claude Fable 5 (Anthropic)
OK?
gcc/testsuite/ChangeLog:
PR tree-optimization/105679
PR tree-optimization/126906
* gcc.dg/tree-ssa/pr105679.c: New test.
It took me a minute to realize that the sanitizer is what's inserting
the irq > 31 check. I might have tried to guide towards exposing the
code generated by sanitization to make the testcase clearer, but it's
not worth it IMHO to do it now.
OK.
jeff