https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65511
--- Comment #2 from vries at gcc dot gnu.org ---
using tentative patch, we get:
...
if (ivtmp_25 < _12)
goto <bb 13>;
else
goto <bb 14>;
;; succ: 13 [99.0%] (TRUE_VALUE,EXECUTABLE)
;; 14 [1.0%] (FALSE_VALUE,EXECUTABLE)
...
