From 7c0054bf255ba4c6c7a15366e77ef537c30f5fbd Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Thu, 8 Jan 2026 08:51:04 +0100 Subject: [PATCH] C++: Tweak a comment in simple range analysis Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com> --- .../test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c b/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c index bb6dc63e570..d59d20ecc9b 100644 --- a/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c +++ b/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c @@ -335,7 +335,7 @@ int test_mult05(int a, int b) { // Tests for shift operators. unsigned long long test_shift(unsigned long long a) { - // `odd` is the largest odd integer that can be represented by a double. + // `odd` is the largest odd integer that can be precisely represented by a double. unsigned long long odd = 9007199254740992 - 1; // 2^53 - 1 // Shifting right by by 1 give an upper bound that is half of `odd` rounded down. unsigned long long shifted = odd >> 1;