/* PR c/68657 */
/* { dg-options "-mno-avx512f -Werror=psabi" } */

typedef int V __attribute__((vector_size (64)));

void foo (V x, V *y) {	/* { dg-error "AVX512F vector argument without AVX512F enabled" } */
  /* { dg-message "the ABI for passing parameters with 64-byte alignment has changed" "" { target *-*-* } .-1 } */
  *y = x;
}

V bar (V *x) {		/* { dg-error "AVX512F vector return without AVX512F enabled" } */
  return *x;
}

/* { dg-message "some warnings being treated as errors" "" { target *-*-* } 0 } */