1 | if (computeMaxs) {↵ | | 1 | if (computeMaxs) {↵
|
2 | // updates current stack size (max stack size unchanged)↵ | | 2 | // updates current stack size (max stack size unchanged)↵
|
3 | --stackSize;↵ | | 3 | --stackSize;↵
|
4 | // ends current block (with many new successors)↵ | | 4 | // ends current block (with many new successors)↵
|
5 | if (currentBlock != null) {↵ | | 5 | if (currentBlock != null) {↵
|
6 | currentBlock.maxStackSize = maxStackSize;↵ | | 6 | currentBlock.maxStackSize = maxStackSize;↵
|
7 | addSuccessor(stackSize, dflt);↵ | | 7 | addSuccessor(stackSize, dflt);↵
|
8 | for (int i = 0; i < labels.length; ++i) {↵ | | 8 | for (int i = 0; i < labels.length; ++i) {↵
|
9 | addSuccessor(stackSize, labels[i]);↵ | | 9 | addSuccessor(stackSize, labels[i]);↵
|
10 | }↵ | | 10 | }↵
|
11 | currentBlock = null;↵ | | 11 | currentBlock = null;↵
|
12 | | | 12 |
|