1  /* { dg-options "-O3" } */
       2  
       3  double __attribute__((noipa))
       4  foo (double m, float *ptr)
       5  {
       6    for (int i = 0; i < 256; i++)
       7      m = __builtin_fmax (m, ptr[i]);
       8    return m;
       9  }