1  /* { dg-do compile } */
       2  /* { dg-require-ifunc "" } */
       3  
       4  __attribute__((target_clones("avx512vl", "avx512bw", "avx512dq",
       5  			     "avx512cd", "avx512er", "avx512pf", "avx512vbmi",
       6  			     "avx512ifma", "avx5124vnniw", "avx5124fmaps",
       7  			     "avx512vpopcntdq", "avx512vbmi2", "gfni",
       8  			     "vpclmulqdq", "avx512vnni", "avx512bitalg",
       9  			     "default")))
      10  int foo (); /* { dg-error "ISA '\[^\n\r\]*' is not supported in 'target' attribute, use 'arch=' syntax" } */
      11  
      12  int
      13  bar ()
      14  {
      15    return foo();
      16  }