make dfa test stronger (IDEA-CR-22962)

This commit is contained in:
peter
2017-07-19 15:22:41 +02:00
parent 6f4912ad89
commit 48cb8b0e07
@@ -5,6 +5,9 @@ interface I {
class C {
void foo(Object o) {
if (o == I.CONST) return;
unknownMethod();
if (<warning descr="Condition 'o != I.CONST' is always 'true'">o != I.CONST</warning>) return;
}
native void unknownMethod();
}