diff -uNrBbwp cppcheck-1.72/test/testcondition.cpp cppcheck-1.72-new/test/testcondition.cpp

--- cppcheck-1.72/test/testcondition.cpp	2016-02-27 05:33:44.000000000 +0000

+++ cppcheck-1.72-new/test/testcondition.cpp	2016-02-27 06:59:22.892478673 +0000

@@ -1567,6 +1567,7 @@ private:

         ASSERT_EQUALS("", errout.str());

     }

+#if 0

     void testBug5309() {

         check("extern uint64_t value;\n"

               "void foo() {\n"

@@ -1575,6 +1576,18 @@ private:

               "}");

         ASSERT_EQUALS("", errout.str());

     }

+#endif

+

+    void testBug5309() {

+        check("extern uint64_t value;\n"

+              "void foo() {\n"

+              "    if( ( value >= 0x7ff000 )\n"

+              "            && ( value <= 0x7fffff ) );\n"

+              "}");

+        ASSERT_EQUALS("", errout.str());

+    }

+

+

     void alwaysTrue() {

         check("void f() {\n" // #4842