C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.

Author: MathiasVP

cpp/ql/test/library-tests/ir/range-analysis/test.cpp

@@ -145,4 +145,15 @@ void nonterminating_without_operands_as_ssa(X *x) {
   while (x->n) {
     x->n--;
   }
+}
+
+void test_with_irreduble_cfg(int i, int x) {
+  if (x < i) {
+  } else {
+    goto inLoop;
+  }
+  for(; i < x; i++) {
+    inLoop:
+    range(i); // $ range="<=InitializeParameter: x+0"
+  }
 }