C++: Add test case where a guarded block has two predecessors which are both in the dominance domain of the guard

Author: andersfugmann

cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/lowerBound.expected

@@ -597,6 +597,8 @@
 | test.c:670:7:670:7 | x | -2147483648 |
 | test.c:671:9:671:9 | y | -2147483648 |
 | test.c:675:7:675:7 | y | -2147483648 |
+| test.c:684:7:684:7 | x | -2147483648 |
+| test.c:689:7:689:7 | x | -2147483648 |
 | test.cpp:10:7:10:7 | b | -2147483648 |
 | test.cpp:11:5:11:5 | x | -2147483648 |
 | test.cpp:13:10:13:10 | x | -2147483648 |

cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c

@@ -679,3 +679,13 @@ void guard_with_exit(int x, int y) {
   // The RangeSsa will place guardPhy on `out(y)`, and consequently there is no
   // frontier phi node at out(y).
 }
+
+void test(int x) {
+  if (x >= 10) {
+    return;
+  }
+  // The basic below has two predecessors.
+label:
+  out(x);
+  goto label;
+}

cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/upperBound.expected

@@ -597,6 +597,8 @@
 | test.c:670:7:670:7 | x | 2147483647 |
 | test.c:671:9:671:9 | y | 2147483647 |
 | test.c:675:7:675:7 | y | 2147483647 |
+| test.c:684:7:684:7 | x | 2147483647 |
+| test.c:689:7:689:7 | x | 9 |
 | test.cpp:10:7:10:7 | b | 2147483647 |
 | test.cpp:11:5:11:5 | x | 2147483647 |
 | test.cpp:13:10:13:10 | x | 2147483647 |