// 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); }