Merge pull request #3616 from tautschnig/vs-move-tests

Move regression tests of the C front-end to a suitable folder [blocks: #2310, #3627]

Author: tautschnig

regression/cbmc/builtin_is/test.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+
+^EXIT=1$
+^SIGNAL=0$
+expected to have two float/double arguments
+--
+--
+The C front-end should catch the problem during type checking, and not leave it
+to goto-program conversion to detect the problem.

regression/cbmc/builtin_va_copy_lvalue/test.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+
+^EXIT=1$
+^SIGNAL=0$
+argument expected to be lvalue
+--
+--
+The C front-end should catch the problem during type checking, and not leave it
+to goto-program conversion to detect the problem.

regression/cbmc/builtin_va_end_lvalue/test.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
 
-^EXIT=6$
+^EXIT=1$
 ^SIGNAL=0$
 wrong number of function arguments
 --

regression/cbmc/builtin_va_start_lvalue/test.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+
+^EXIT=1$
+^SIGNAL=0$
+argument expected to be lvalue
+--
+--
+The C front-end should catch the problem during type checking, and not leave it
+to goto-program conversion to detect the problem.

regression/cbmc/builtin_va_start_two/test.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
 
-^EXIT=6$
+^EXIT=1$
 ^SIGNAL=0$
 wrong number of function arguments
 --

regression/cbmc/builtin_is/main.c renamed to regression/goto-gcc/builtin_is/main.c

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+
+^EXIT=1$
+^SIGNAL=0$
+argument expected to be lvalue
+--
+--
+The C front-end should catch the problem during type checking, and not leave it
+to goto-program conversion to detect the problem.

regression/goto-gcc/builtin_is/test.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+
+^EXIT=1$
+^SIGNAL=0$
+expected to have two arguments
+--
+--
+The C front-end should catch the problem during type checking, and not leave it
+to goto-program conversion to detect the problem.