Tagir Valeev 289681a13d [java-dfa] Take into account types when comparing ContractTempDescriptors ...

Even if we flush temp variables after every method call, they are kept in DfaValueFactory, so if we create an equal descriptor later, the old variable will be reused, even if it had a different type. This caused wrong contract evaluation for the second call.
Fixes IDEA-280534 Constant conditions & exceptions. False positive "Result of 'getComment().equals(tag.getComment())' is always 'false'"

GitOrigin-RevId: 918eca6110e5b416b78430b1e3f30d40fe28d9a7

2021-10-19 10:09:36 +00:00

..

src

[java-dfa] Take into account types when comparing ContractTempDescriptors

2021-10-19 10:09:36 +00:00

intellij.java.analysis.impl.iml

remove ASM from OpenAPI module dependencies

2021-07-19 14:51:31 +00:00