C++: Add simple negation test cases.

2026-05-01 19:55:15 +02:00 · 2023-03-08 13:23:05 +00:00
parent bdad847584
commit 4cb5bea2c6
1 changed files with 12 additions and 0 deletions
--- a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
+++ b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -997,3 +997,15 @@ void test_overflow() {
    range(x + y); // $ range===-2147483393
  }
 }
+
+void test_negate_unsigned(unsigned u) {
+  if(10 < u && u < 20) {
+    range<unsigned>(-u); // underflows
+  }
+}
+
+void test_negate_signed(int s) {
+  if(10 < s && s < 20) {
+    range<int>(-s); // $ MISSING: range=<=-11 range=>=-19
+  }
+}