1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Warray-bounds" } */
       3  
       4  int t[1];
       5  int a (void);
       6  int fct (int r, long e, int neg)
       7  {
       8    int d = 0;
       9    if (r == 4)
      10      r = neg ? 3 : 2;
      11    if (__builtin_expect(e < -52, 0))
      12      d = r == 0 && a () ? 1 : 2;
      13    else
      14      {
      15        int i, n = 53;
      16        if (e < 0)
      17  	n += e;
      18        for (i = 1 ; i < n / 64 + 1 ; i++)
      19  	d = t[i]; /* { dg-bogus "array bounds" } */
      20      }
      21    return d;
      22  }