fix gcc_attributes10

Author: Daniel Kroening

regression/goto-gcc/gcc_attributes10/main.c

@@ -4,13 +4,13 @@
 #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