1 /* { dg-do compile } */
2 
3 #pragma GCC push_options
4 #pragma GCC target ("arch=intel") /* { dg-error "'intel' CPU can be used only for 'target\\(\"tune=\"\\)' attribute" } */
5 
foo()6 __attribute__((constructor)) void foo()
7 {
8   asm ("");
9 }
10 
11 #pragma GCC pop_options
12 
main()13 int main() { return 0; }
14