1 /* PR c/68657 */
2 /* { dg-options "-mno-avx512f -Werror=psabi" } */
3 
4 typedef int V __attribute__((vector_size (64)));
5 
foo(V x,V * y)6 void foo (V x, V *y) {	/* { dg-error "AVX512F vector argument without AVX512F enabled" } */
7   /* { dg-message "The ABI for passing parameters with 64-byte alignment has changed" "" { target *-*-* } .-1 } */
8   *y = x;
9 }
10 
bar(V * x)11 V bar (V *x) {		/* { dg-error "AVX512F vector return without AVX512F enabled" } */
12   return *x;
13 }
14 
15 /* { dg-message "some warnings being treated as errors" "" { target *-*-* } 0 } */
16