From 2554674f4be038dcf9dadb0289577085eeccaffd Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sat, 7 Nov 2015 11:17:44 +0100
Subject: [PATCH] Add regression test for previously fixed #6064, and TODO test
 for #6081

---
 test/testcondition.cpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/test/testcondition.cpp b/test/testcondition.cpp
index e0e16a333..3a36e5b65 100644
--- a/test/testcondition.cpp
+++ b/test/testcondition.cpp
@@ -951,6 +951,24 @@ private:
               "  if (a>b || a<b) {}\n"
               "}");
         ASSERT_EQUALS("", errout.str());
+
+        // #6064 False positive incorrectLogicOperator - invalid assumption about template type?
+        check("template<typename T> T icdf( const T uniform ) {\n"
+              "   if ((0<uniform) && (uniform<1))\n"
+              "     {}\n"
+              "}");
+        ASSERT_EQUALS("", errout.str());
+
+        // #6081 False positive: incorrectLogicOperator, with close negative comparisons
+        check("double neg = -1.0 - 1.0e-13;\n"
+              "void foo() {\n"
+              "    if ((neg < -1.0) && (neg > -1.0 - 1.0e-12))\n"
+              "        return;\n"
+              "    else\n"
+              "        return;\n"
+              "}");
+        TODO_ASSERT_EQUALS("", "[test.cpp:3]: (warning) Logical conjunction always evaluates to false: neg < -1.0 && neg > -1.0.\n", errout.str());
+
     }
 
     void incorrectLogicOperator8() { // opposite expressions