1  /* { dg-do compile } */
       2  
       3  #pragma GCC push_options
       4  #pragma GCC target("prefer-vector-width=512")
       5  
       6  int
       7  __attribute__((target("prefer-vector-width=none")))
       8  main()
       9  {
      10    return 0;
      11  }