1  #include "tree-vect.h"
       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  }
      10  
      11  int
      12  main (void)
      13  {
      14    check_vect ();
      15    float ptr[256];
      16    for (int j = 0; j < 16; ++j)
      17      {
      18        for (int i = 0; i < 256; ++i)
      19  	ptr[i] = i == 128 + j ? 2 + j : i == 161 ? 1 : 0;
      20        if (foo (0, ptr) != 2 + j)
      21  	__builtin_abort ();
      22      }
      23    return 0;
      24  }