Tests for goto convert

Author: Petr Bauch

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

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

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

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

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