// compile command: gcc -O0 -m64 -mavx -o bug1.exe bug1.c
typedef double v4d __attribute__ ((vector_size (32)));

v4d f (v4d x)
{
  return x;
}

int main ()
{
  v4d x __attribute__ ((aligned (32))) = { 1.0, 2.0, 3.0, 4.0, };
  v4d r __attribute__ ((aligned (32))) = f (x);
}