* Add test for #8919 * Add test for #9817 * Revert
This commit is contained in:
parent
1d95d1908d
commit
5cc8ef7e87
|
@ -4298,6 +4298,13 @@ private:
|
||||||
ASSERT_EQUALS("[test.cpp:3]: (style) Condition 'g()==1' is always false\n"
|
ASSERT_EQUALS("[test.cpp:3]: (style) Condition 'g()==1' is always false\n"
|
||||||
"[test.cpp:3]: (style) Condition 'g()==-1' is always true\n",
|
"[test.cpp:3]: (style) Condition 'g()==-1' is always true\n",
|
||||||
errout.str());
|
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()
|
void alwaysTrueSymbolic()
|
||||||
|
|
Loading…
Reference in New Issue