Add a test for the uninitialized local variable check

Author: martin

regression/goto-instrument/uninitialized-check/main.c

@@ -0,0 +1,29 @@
+#include <stdlib.h>
+
+int globals_are_actually_initialized; // See ISO-9899!
+
+int main(int argc, char **argv)
+{
+  int definitely_uninitialized;
+  int maybe_uninitialized;
+  int actually_initialized;
+
+  if(argc > 1)
+  {
+    maybe_uninitialized = 1;
+  }
+
+  if(argc <= 3)
+  {
+    actually_initialized = 0;
+  }
+  if(argc >= 4)
+  {
+    actually_initialized = 1;
+  }
+
+  int *heap_variables_uninitialized = malloc(sizeof(int));
+
+  return definitely_uninitialized + maybe_uninitialized + actually_initialized +
+         globals_are_actually_initialized + *heap_variables_uninitialized;
+}

regression/goto-instrument/uninitialized-check/test.desc

@@ -0,0 +1,16 @@
+CORE
+main.c
+--uninitialized-check
+^\[main.uninitialized_local.1\] line \d+ use of uninitialized local variable main::1::definitely_uninitialized: FAILURE$
+^\[main.uninitialized_local.2\] line \d+ use of uninitialized local variable main::1::maybe_uninitialized: FAILURE$
+^\[main.uninitialized_local.3\] line \d+ use of uninitialized local variable main::1::actually_initialized: SUCCESS$
+^VERIFICATION FAILED$
+^EXIT=10$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+A basic test of the uninitialized variable check.
+In an ideal world there would be a check for heap_variables_uninitialized
+that would fail however this is beyond the current scope of the analysis.
+