https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71433
--- Comment #12 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- New test case, based on the previous one (just a __builtin_expect added): int t[1]; int a (void); int fct (int r, long e, int neg) { int d = 0; if (r == 4) r = neg ? 3 : 2; if (__builtin_expect(e < -52, 0)) d = r == 0 && a () ? 1 : 2; else { int i, n = 53; if (e < 0) n += e; for (i = 1 ; i < n / 64 + 1 ; i++) d = t[i]; } return d; }