/* { dg-do compile } */ | |
/* { dg-options "-O2 -march=x86-64" } */ | |
__attribute__ ((__gnu_inline__, __always_inline__, target("avxvnni"))) | |
inline int | |
foo (void) /* { dg-error "inlining failed in call to 'always_inline' .* target specific option mismatch" } */ | |
{ | |
return 0; | |
} | |
__attribute__ ((target("avx512vnni,avx512vl"))) | |
int | |
bar (void) | |
{ | |
return foo (); /* { dg-message "called from here" } */ | |
} |