zero initialization for incomplete structs and arrays

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2132 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

regression/ansi-c/Zero_Initialization1/main.c

@@ -0,0 +1,21 @@
+// will remain incomplete
+extern struct foo x;
+
+// never gets a body
+extern void foo(struct foo *arg);
+
+// but called anyway
+extern inline void bar()
+{
+  foo(&x);
+}
+
+// similar with an incomplete array
+extern char some_array[];
+ 
+// similar with a union
+extern union moo y;
+
+int main()
+{
+}

regression/ansi-c/Zero_Initialization1/test.desc

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