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) {