1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -ffloat-store -mavx512er" } */
       3  
       4  float x[256];
       5  
       6  double *
       7  foo (void)
       8  {
       9    double *z = __builtin_malloc (sizeof (double) * 256);
      10    int i;
      11    for (i = 0; i < 256; ++i)
      12      z[i] = x[i] + 1.0f;
      13    foo ();
      14    return 0;
      15  }