MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

DataFlowRunner: check MAX_STATES_PER_BRANCH when there are no loops

Browse Source
This commit is contained in:
Tagir Valeev
2017-09-26 16:12:08 +07:00
parent 8980edf2c8
commit 48b810c24d
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DataFlowRunner.java
+5 -1
View File
@@ -148,6 +148,10 @@ public class DataFlowRunner {
int count = 0;
while (!queue.isEmpty()) {
List<DfaInstructionState> states = queue.getNextInstructionStates(joinInstructions);
if (states.size() > MAX_STATES_PER_BRANCH) {
LOG.trace("Too complex because too many different possible states");
return RunnerResult.TOO_COMPLEX;
}
for (DfaInstructionState instructionState : states) {
if (count++ > stateLimit) {
LOG.trace("Too complex data flow: too many instruction states processed");
@@ -171,7 +175,7 @@ public class DataFlowRunner {
}
if (processed.size() > MAX_STATES_PER_BRANCH) {
LOG.trace("Too complex because too many different possible states");
return RunnerResult.TOO_COMPLEX; // Too complex :(
return RunnerResult.TOO_COMPLEX;
}
if (loopNumber[branching.getIndex()] != 0) {
processedStates.putValue(branching, instructionState.getMemoryState().createCopy());