Add extra test for switch case range with no default and empty case

Author: NlightNFotis

regression/ansi-c/goto_convert_switch_range_empty_nodefault/main.c

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

regression/ansi-c/goto_convert_switch_range_empty_nodefault/test.desc

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