https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125202
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2026-05-06
--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
in ch we have:
```
Analyzing loop 1
Estimating # of iterations of loop 1
Induction variable (int) -837426833 + 1093211483 * iteration does not wrap in
statement _1 = 1093211482 - v1_3;
in loop 1.
Statement _1 = 1093211482 - v1_3;
is executed at most 2 (bounded by 2) + 1 times in loop 1.
Induction variable (int32_t) 837426832 + -1093211483 * iteration does not wrap
in statement v1_7 = v1_3 + -1093211483;
in loop 1.
Statement v1_7 = v1_3 + -1093211483;
is executed at most 2 (bounded by 2) + 1 times in loop 1.
Loop 1 never loops.
;; Guessed iterations of loop 1 is 0.000000. New upper bound 0.
```
Which is wrong.
commenting out ` if (v10 == 5) goto lbl_sw13;`
gets us having the right answer which seems like then the loop structure is
wrong as the IR/CFG is the same (except predictions).
