From 1b13490ac16402483fb56a9d74dd89e427c3d4ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Thu, 11 Jan 2018 14:27:41 +0100 Subject: [PATCH] Move code --- test/testvalueflow.cpp | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp index 5b9b15b54..e7788fbd6 100644 --- a/test/testvalueflow.cpp +++ b/test/testvalueflow.cpp @@ -2017,6 +2017,18 @@ private: "}\n"; ASSERT_EQUALS(false, testValueOfX(code, 3U, 0)); + // Ticket #7139 + // "<<" in third expression of for + code = "void f(void) {\n" + " int bit, x;\n" + " for (bit = 1, x = 0; bit < 128; bit = bit << 1, x++) {\n" + " z = x;\n" // <- known value [0..6] + " }\n" + "}\n"; + ASSERT_EQUALS(true, testValueOfX(code, 4U, 0)); + ASSERT_EQUALS(true, testValueOfX(code, 4U, 6)); + ASSERT_EQUALS(false, testValueOfX(code, 4U, 7)); + // && code = "void foo() {\n" " for (int x = 0; x < 10; x++) {\n" @@ -2610,19 +2622,6 @@ private: ASSERT_EQUALS(0, value.intvalue); ASSERT(value.isKnown()); - // Ticket #7139 - // "<<" in third expression of for - code = "void f(void) {\n" - " int bit, x;\n" - " for (bit = 1, x = 0; bit < 128; bit = bit << 1, x++) {\n" - " z = x;\n" // <- known value [0..6] - " }\n" - "}\n"; - ASSERT_EQUALS(true, testValueOfX(code, 4U, 0)); - ASSERT_EQUALS(true, testValueOfX(code, 4U, 6)); - ASSERT_EQUALS(false, testValueOfX(code, 4U, 7)); - ASSERT(value.isKnown()); - // template parameters are not known code = "template void f() { a = X; }\n" "f<1>();";