From e11c6c640cf2861f3fbb44cc668260850a591c51 Mon Sep 17 00:00:00 2001 From: Tagir Valeev Date: Tue, 7 Sep 2021 11:58:37 +0700 Subject: [PATCH] [java-dfa] IDEA-277611 Fix tests GitOrigin-RevId: 16384eabf8feec58e07fee2ccacba379842a4018 --- .../testData/inspection/dataFlow/tracker/Constants.java | 6 ++++-- .../testData/inspection/dataFlow/tracker/EnumCompare.java | 8 ++++++-- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/java/java-tests/testData/inspection/dataFlow/tracker/Constants.java b/java/java-tests/testData/inspection/dataFlow/tracker/Constants.java index d99fd03d88b3..c0c5f50770d4 100644 --- a/java/java-tests/testData/inspection/dataFlow/tracker/Constants.java +++ b/java/java-tests/testData/inspection/dataFlow/tracker/Constants.java @@ -1,6 +1,8 @@ /* -Value is always false (E.A == E.B; line#9) - Comparison arguments are different constants (==; line#9) +Value is always false (E.A == E.B; line#11) + Values cannot be equal because E.A.ordinal != E.B.ordinal + Left operand is 0 (E.A; line#11) + and right operand is 1 (E.B; line#11) */ class Test { enum E {A, B, C} diff --git a/java/java-tests/testData/inspection/dataFlow/tracker/EnumCompare.java b/java/java-tests/testData/inspection/dataFlow/tracker/EnumCompare.java index fc6b2ce4a946..b9f6b070dcd9 100644 --- a/java/java-tests/testData/inspection/dataFlow/tracker/EnumCompare.java +++ b/java/java-tests/testData/inspection/dataFlow/tracker/EnumCompare.java @@ -1,6 +1,10 @@ /* -Value is always false (code == ReturnStatus.NOT_FOUND; line#8) - It's known that 'code != ReturnStatus.NOT_FOUND' from line #7 (code != ReturnStatus.SUCCESS; line#7) +Value is always false (code == ReturnStatus.NOT_FOUND; line#12) + Condition 'code != ReturnStatus.NOT_FOUND' was deduced + Values cannot be equal because ReturnStatus.SUCCESS.ordinal != ReturnStatus.NOT_FOUND.ordinal + Left operand is 0 (code != ReturnStatus.SUCCESS; line#11) + and right operand is 1 (code != ReturnStatus.SUCCESS; line#11) + and condition 'code == ReturnStatus.SUCCESS' was checked before (code != ReturnStatus.SUCCESS; line#11) */ class SampleClazz { public void foo(ReturnStatus code) {