https://gcc.gnu.org/bugzilla/show_bug.cgi?id=20514
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
in GCC 13+ we get now (for the testcase in comment #0) at -O3:
```
<bb 4> [local count: 452984831]:
# i_lsm.4_2 = PHI <i_lsm.4_11(3), 4(4)>
if (i_lsm.4_2 == 5)
goto <bb 4>; [25.00%]
else
goto <bb 5>; [75.00%]
<bb 5> [local count: 452984832]:
goto <bb 5>; [100.00%]
```
This is an infinite no matter which branch is taken ...
Coming in we get either `3->4->4->5` or `3->4->5` no matter what we end up in 5
always.
