public void initialize() { setTop(false); jumpEntries.clear(); jumpStackEntries.clear(); jumpEntryLocations.clear(); encountedTop = false; backwardsBranch = false; lastUpdate.clear(); convertJumpToOneZeroState = convertJumpToZeroOneState = 0; zeroOneComing = -1; registerTestedFoundToBeNonnegative = -1; setReachOnlyByBranch(false); }
clearJumpInfoChangedByNewTarget(); setReachOnlyByBranch(false); seenTransferOfControl = false; exceptionHandlers.clear();
setReachOnlyByBranch(false); List<Item> jumpStackEntry = jumpStackEntries.get(Integer.valueOf(dbc.getPC())); setReachOnlyByBranch(false); setTop(false); } else {
setReachOnlyByBranch(true); pop(); addJumpValue(dbc.getPC(), dbc.getBranchTarget()); setReachOnlyByBranch(true); pop(); break; pop(); seenTransferOfControl = true; setReachOnlyByBranch(true); setTop(true); break; case Const.RETURN: seenTransferOfControl = true; setReachOnlyByBranch(true); break; case Const.GOTO_W: seenTransferOfControl = true; setReachOnlyByBranch(true); addJumpValue(dbc.getPC(), dbc.getBranchTarget()); stack.clear(); setReachOnlyByBranch(false); push(new Item("")); // push return address on stack addJumpValue(dbc.getPC(), dbc.getBranchTarget());
public void initialize() { setTop(false); jumpEntries.clear(); jumpStackEntries.clear(); jumpEntryLocations.clear(); encountedTop = false; backwardsBranch = false; lastUpdate.clear(); convertJumpToOneZeroState = convertJumpToZeroOneState = 0; zeroOneComing = -1; registerTestedFoundToBeNonnegative = -1; setReachOnlyByBranch(false); }
setReachOnlyByBranch(false); List<Item> jumpStackEntry = jumpStackEntries.get(Integer.valueOf(dbc.getPC())); setReachOnlyByBranch(false); setTop(false); } else {
clearJumpInfoChangedByNewTarget(); setReachOnlyByBranch(false); seenTransferOfControl = false; exceptionHandlers.clear();
setReachOnlyByBranch(true); pop(); addJumpValue(dbc.getPC(), dbc.getBranchTarget()); setReachOnlyByBranch(true); pop(); break; pop(); seenTransferOfControl = true; setReachOnlyByBranch(true); setTop(true); break; case RETURN: seenTransferOfControl = true; setReachOnlyByBranch(true); break; case GOTO_W: seenTransferOfControl = true; setReachOnlyByBranch(true); addJumpValue(dbc.getPC(), dbc.getBranchTarget()); stack.clear(); setReachOnlyByBranch(false); push(new Item("")); // push return address on stack addJumpValue(dbc.getPC(), dbc.getBranchTarget());