|
|
|
@ -547,11 +547,11 @@ public class FinallyProcessor { |
|
|
|
|
Map<BasicBlock, Boolean> mapLast, |
|
|
|
|
boolean skippedFirst) { |
|
|
|
|
class BlockStackEntry { |
|
|
|
|
public BasicBlock blockCatch; |
|
|
|
|
public BasicBlock blockSample; |
|
|
|
|
public final BasicBlock blockCatch; |
|
|
|
|
public final BasicBlock blockSample; |
|
|
|
|
|
|
|
|
|
// TODO: correct handling (merging) of multiple paths
|
|
|
|
|
public List<int[]> lstStoreVars; |
|
|
|
|
public final List<int[]> lstStoreVars; |
|
|
|
|
|
|
|
|
|
BlockStackEntry(BasicBlock blockCatch, BasicBlock blockSample, List<int[]> lstStoreVars) { |
|
|
|
|
this.blockCatch = blockCatch; |
|
|
|
|