Update testcondition.cpp

Author: chrchr-github

test/testcondition.cpp

@@ -5222,6 +5222,12 @@ class TestCondition : public TestFixture {
               "    if (c) {}\n"
               "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        check("void f(int a, int b) {\n" // #11437
+              "    a = a < b ? b : a;\n"
+              "    if (a != b) {}\n"
+              "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void alwaysTrueInfer() {