1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-march=haswell" } */
       3  
       4  #pragma GCC push_options
       5  #pragma GCC target ("arch=geode") /* { dg-error "CPU you selected does not support x86-64 instruction set" } */
       6  
       7  __attribute__((constructor)) void foo()
       8  {
       9    asm ("");
      10  }
      11  
      12  #pragma GCC pop_options
      13  
      14  int main() { return 0; }