Merge pull request #1333 from tautschnig/remove-c_sizeof

Remove c_sizeof and fix bugs that surfaced

regression/ansi-c/Initializer_cast2/main.c

@@ -0,0 +1,6 @@
+int main()
+{
+  int A[(sizeof((int[]){1, 2, 3})==3*sizeof(int))?1:-1];
+
+  return 0;
+}

regression/ansi-c/Initializer_cast2/test.desc

@@ -0,0 +1,7 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^CONVERSION ERROR$

regression/ansi-c/array_initialization3/main.c

@@ -0,0 +1,13 @@
+#define STATIC_ASSERT_sizeof(condition) \
+  int[(condition) ? 1 : -1]
+
+int A[];
+int B[];
+
+int A[1]={sizeof(A)};
+int B[1]={sizeof(STATIC_ASSERT_sizeof(sizeof(B)==sizeof(int)))};
+
+int main()
+{
+  return 0;
+}

regression/ansi-c/array_initialization3/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/sizeof5/main.c

@@ -0,0 +1,15 @@
+#define STATIC_ASSERT(condition) \
+  int some_array##__LINE__[(condition) ? 1 : -1];
+
+struct S
+{
+  int x;
+};
+
+int main()
+{
+  struct S s;
+  __typeof__(*((void *)&s.x)) *_s=&s.x;
+  STATIC_ASSERT(sizeof(*_s)==1);
+  return 0;
+}

regression/ansi-c/sizeof5/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

src/ansi-c/Makefile

@@ -14,7 +14,6 @@ SRC = anonymous_member.cpp \
       c_nondet_symbol_factory.cpp \
       c_preprocess.cpp \
       c_qualifiers.cpp \
-      c_sizeof.cpp \
       c_storage_spec.cpp \
       c_typecast.cpp \
       c_typecheck_argc_argv.cpp \