add tests

Author: kroening

regression/cprover/function_calls/call_no_body2.c

@@ -0,0 +1,11 @@
+struct some_struct {
+  int x;
+};
+
+struct some_struct function_without_body();
+
+int main()
+{
+  struct some_struct s = function_without_body();
+  return 0;
+}

regression/cprover/function_calls/call_no_body2.desc

@@ -0,0 +1,6 @@
+KNOWNBUG
+call_no_body2.c
+--text
+^EXIT=0$
+^SIGNAL=0$
+--

regression/cprover/structs/nondet_struct1.c

@@ -0,0 +1,11 @@
+struct S
+{
+  int x, y;
+} s;
+
+struct S nondet_S();
+
+int main()
+{
+  s = nondet_S();
+}

regression/cprover/structs/nondet_struct1.desc

@@ -0,0 +1,6 @@
+KNOWNBUG
+nondet_struct1.c
+--text
+^EXIT=0$
+^SIGNAL=0$
+--