added test for undeclared functions

Daniel Kroening · Daniel Kroening · commit 067c07e81357 · 2019-02-17T09:29:39.000Z
Follow up from #4211. The type of function symbols must get fixed once the function signature is known.
diff --git a/regression/ansi-c/undeclared_function/undeclared_function1.c b/regression/ansi-c/undeclared_function/undeclared_function1.c
@@ -0,0 +1,4 @@
+int main(void)
+{
+  malloc(4);
+}
diff --git a/regression/ansi-c/undeclared_function/undeclared_function1.desc b/regression/ansi-c/undeclared_function/undeclared_function1.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+undeclared_function1.c
+--validate-goto-model
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +int main(void)
 +{
 +  malloc(4);
 +}