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) ...