MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-14 18:05:27 +07:00
Code Issues Packages Projects Releases Wiki Activity

DfaAssist: track string length

Browse Source 
GitOrigin-RevId: e00e205db48b0695c4309300f387649d5fdf2729
This commit is contained in:
Tagir Valeev
2020-01-30 12:45:06 +07:00
committed by intellij-monorepo-bot
parent 4783b76af9
commit 6e12ae7e93
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
View File

@@ -924,6 +924,10 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
if (constant.getValue() instanceof PsiType) {
if (!processGetClass(value, (PsiType)constant.getValue(), false)) return false;
}
SpecialField field = SpecialField.fromQualifierType(constant.getPsiType());
if (field != null) {
if (!meetDfType(field.createValue(getFactory(), value), field.fromConstant(constant.getValue()))) return false;
}
DfType dfType = constant.tryNegate();
if (dfType == null) return true;
EqClass eqClass = getEqClass(value);