From 406d02253d654af34b4d8fb695b533ced1ff485a Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Thu, 16 Mar 2023 17:08:53 +0000
Subject: [PATCH] C++: Add 'range(x)' call demonstrating missing bounds.

---
 .../ir/range-analysis/SimpleRangeAnalysis_tests.cpp              | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
index f5790f3ddcf..58ed4fdf396 100644
--- a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
+++ b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -119,6 +119,7 @@ int test9(int x, int y) {
     }
     range(x); // $ range=>=4
   }
+  range(x); // $ MISSING: range=>=4
   return x;
 }