1  /* PR c/68657 */
       2  /* { dg-options "-mno-avx512f -Werror=psabi" } */
       3  
       4  typedef int V __attribute__((vector_size (64)));
       5  
       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  
      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 } */