Added tests for goto-analyzer.

Author: NlightNFotis

regression/goto-analyzer/wrap_entry_point_in_while_true/main.c

@@ -0,0 +1,4 @@
+int main(int argc, char **argv)
+{
+    return 0;
+}

regression/goto-analyzer/wrap_entry_point_in_while_true/test.desc

@@ -0,0 +1,15 @@
+CORE
+main.c
+--show-goto-functions --wrap-entry-point-in-while
+^EXIT=6$
+^SIGNAL=0$
+^     1: IF FALSE THEN GOTO 2$
+^        // 22 file main.c line 1$
+^        main\(argc', argv'\);$
+^        // 23 file main.c line 1$
+^        return' = main#return_value;$
+^        // 24 file main.c line 1$
+^        dead main#return_value;$
+^        // 25 no location$
+^        GOTO 1$
+--

regression/goto-analyzer/wrap_entry_point_in_while_true_custom_entry_point/main.c

@@ -0,0 +1,4 @@
+int skipWhitespace()
+{
+    return 120;
+}

regression/goto-analyzer/wrap_entry_point_in_while_true_custom_entry_point/test.desc

@@ -0,0 +1,15 @@
+CORE
+main.c
+--show-goto-functions --wrap-entry-point-in-while --function skipWhitespace
+^EXIT=6$
+^SIGNAL=0$
+^     1: IF FALSE THEN GOTO 2$
+^        // 18 file main.c line 1
+^        skipWhitespace\(\);$
+^        // 19 file main.c line 1$
+^        return' = skipWhitespace#return_value;$
+^        // 20 file main.c line 1$
+^        dead skipWhitespace#return_value;$
+^        // 21 no location$
+^        GOTO 1$
+--