#include <immintrin.h>

void foo(double *c)
{
	__m256d ymm0 = _mm256_undefined_pd ();
	_mm256_store_pd (c, ymm0);
}