1  /* { dg-do compile } */
       2  /* { dg-options "-msse2" } */
       3  
       4  typedef int int32x4_t __attribute__ ((__vector_size__ ((16))));
       5  extern int32x4_t c;
       6  
       7  #pragma GCC push_options
       8  #pragma GCC target("general-regs-only")
       9  
      10  void
      11  test (int32x4_t a, int32x4_t b) /* { dg-warning "SSE vector argument without SSE enabled" } */
      12  {
      13    c = a + b;
      14  }
      15  
      16  #pragma GCC pop_options