Files
Vladimir Koshelev 35b77e8d95 replace DFAEngine implementation: use topological order
- add createGraph(flow) to ControlFlowUtil;
- use DFSTBuilder to get SCCs for a control flow;
- dfa iterates all components once;
- dfa iterates strongly-connected component before convergence;
- deprecated method DfaInstance#isForward() is removed;
- remove unused DFAEngine#performDfa(info);
- remove unused ControlFlowUtil#postOrder.

New dfa analysis does not have a convergence issue in merge points.
(IDEA-CR-28352)
2018-01-18 17:30:10 +03:00

297 lines
3.3 KiB
Python

f1 = 10
print(f1)
if f1:
a1 = 1
a2 = 2
a3 = 3
a4 = 4
a5 = 5
a6 = 6
elif f1:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
a1 = 1
a2 = 2
a3 = 3
a4 = 4
a5 = 5
elif f1:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
a1 = 1
a2 = 2
a3 = 3
a4 = 4
elif f1:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
a1 = 1
a2 = 2
a3 = 3
elif f1:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
a1 = 1
a2 = 2
elif f1:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
a1 = 1
else:
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)
print(f1)