Merge pull request #2905 from NlightNFotis/2814_takeover

Cleanup of throws and asserts of goto_convert.cpp

Author: tautschnig

regression/ansi-c/goto_convert_break/main.c

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

regression/ansi-c/goto_convert_break/test.desc

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

regression/ansi-c/goto_convert_continue/main.c

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

regression/ansi-c/goto_convert_continue/test.desc

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

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
+main.c
+
+^CONVERSION ERROR$
+^EXIT=1$
+^SIGNAL=0$
+--
+^warning: ignoring

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
+
+^CONVERSION ERROR$
+^EXIT=1$
+^SIGNAL=0$
+--
+^warning: ignoring

regression/ansi-c/goto_convert_switch_range_case_valid/main.c

@@ -0,0 +1,16 @@
+#include <assert.h>
+
+#define false 0
+
+int main(void)
+{
+  int x = 5;
+  switch (x)
+  {
+    case 0 ... 10:
+      break;
+    default:
+      assert(false);
+      break;
+  }
+}

regression/ansi-c/goto_convert_switch_range_case_valid/test.desc

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