Merge pull request #3 from xbauch/cleanup_goto_convert

Cleanup goto convert

Author: NlightNFotis

regression/ansi-c/goto_convert/convert_break/main.c

@@ -0,0 +1,5 @@
+int main()
+{
+  break;
+  return 0;
+}

regression/ansi-c/goto_convert/convert_break/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=6$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/goto_convert/convert_continue/main.c

@@ -0,0 +1,5 @@
+int main()
+{
+  continue;
+  return 0;
+}

regression/ansi-c/goto_convert/convert_continue/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=6$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/goto_convert/invalid_goto_label/main.c

@@ -0,0 +1,8 @@
+int main()
+{
+  goto x;
+
+  // x:
+
+  return 0;
+}

regression/ansi-c/goto_convert/invalid_goto_label/test.desc

@@ -0,0 +1,8 @@
+CORE gcc-only
+main.c
+
+^EXIT=6$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/goto_convert/switch_range_bounds/main.c

@@ -0,0 +1,13 @@
+int main()
+{
+  int x;
+  int n = 5;
+  switch(x)
+  {
+  case 0 ... n:
+    break;
+  default:
+    break;
+  }
+  return 0;
+}

regression/ansi-c/goto_convert/switch_range_bounds/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=6$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/goto_convert/switch_range_empty/main.c

@@ -0,0 +1,12 @@
+int main()
+{
+  int x;
+  switch(x)
+  {
+  case 10 ... 0:
+    break;
+  default:
+    break;
+  }
+  return 0;
+}

regression/ansi-c/goto_convert/switch_range_empty/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=134$
+^SIGNAL=0$
+--
+^warning: ignoring
+^Invariant check failed