1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -march=x86-64" } */
       3  
       4  __attribute__ ((__gnu_inline__, __always_inline__, target("avxifma")))
       5  inline int
       6  foo (void) /* { dg-error "inlining failed in call to 'always_inline' .* target specific option mismatch" } */
       7  {
       8    return 0;
       9  }
      10  
      11  __attribute__ ((target("avx512ifma,avx512vl")))
      12  int
      13  bar (void)
      14  {
      15    return foo (); /* { dg-message "called from here" } */
      16  }