[Bug tree-optimization/71433] [7 Regression] -Warray-bounds false positive with -O2

[vincent-gcc at vinc17 dot net]

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;
}