diff --git a/test/testcondition.cpp b/test/testcondition.cpp
index 9459b1e15..df87884af 100644
--- a/test/testcondition.cpp
+++ b/test/testcondition.cpp
@@ -4298,6 +4298,13 @@ private:
         ASSERT_EQUALS("[test.cpp:3]: (style) Condition 'g()==1' is always false\n"
                       "[test.cpp:3]: (style) Condition 'g()==-1' is always true\n",
                       errout.str());
+
+        // #9817
+        check("void f(float x) {\n"
+              "    if (x <= 0) {}\n"
+              "    else if (x < 1) {}\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 
     void alwaysTrueSymbolic()