1  /* PR target/59794 */
       2  /* { dg-do compile } */
       3  /* { dg-prune-output "ABI for passing parameters" } */
       4  /* { dg-options "-O2 -mno-avx" } */
       5  /* { dg-skip-if "no AVX vector" { *-*-mingw* } } */
       6  
       7  typedef int __v8si __attribute__ ((__vector_size__ (32)));
       8  
       9  extern __v8si x;
      10  
      11  extern void bar (__v8si);
      12  void
      13  foo (void)
      14  {
      15    bar (x); /* { dg-message "warning: AVX vector argument without AVX enabled changes the ABI" } */
      16  }