fix gcc_attributes10

gcc requires the vector size to be a power of two.

Author: Daniel Kroening

regression/ansi-c/gcc_attributes10/main.c

@@ -2,15 +2,17 @@
   int array##__LINE__[(condition) ? 1 : -1]
 
 #ifdef __GNUC__
+#ifndef __clang__
 
-int  x   __attribute__ ((__vector_size__ (12), __may_alias__));
+int  x   __attribute__ ((__vector_size__ (16), __may_alias__));
 int  x2   __attribute__ ((__may_alias__));
-int  x3   __attribute__ ((__may_alias__, __vector_size__ (12)));
+int  x3   __attribute__ ((__may_alias__, __vector_size__ (16)));
 
-STATIC_ASSERT(sizeof(x)==12);
+STATIC_ASSERT(sizeof(x)==16);
 STATIC_ASSERT(sizeof(x2)==sizeof(int));
-STATIC_ASSERT(sizeof(x3)==12);
+STATIC_ASSERT(sizeof(x3)==16);
 
+#endif
 #endif
 
 int main(int argc, char* argv[])