C++: Test that range analysis ignores references

Author: jbj

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

@@ -78,3 +78,25 @@ void use_after_cast(unsigned char c)
   }
   c_times_2;
 }
+
+int ref_to_number(int &i, const int &ci, int &aliased) {
+  int &alias = aliased; // no range analysis for either of the two aliased variables
+
+  if (i >= 2)
+    return i; // BUG: lower bound should be 2
+
+  if (ci >= 2)
+    return ci; // BUG: lower bound should be 2
+
+  if (aliased >= 2)
+    return aliased;
+
+  if (alias >= 2)
+    return alias;
+
+  for (; i <= 12345; i++) {
+    i; // BUG: upper bound should be deduced (but subject to widening)
+  }
+
+  return 0;
+}