/* { dg-do compile } */

typedef float v4sf __attribute__((vector_size(16)));
v4sf value;
void foo(void)
{
  unsigned int band;
  for(band=0; band < 2; band++)
    {
      value += (v4sf){1e9f,1e9f,1e9f,1e9f};
    }
}