void setReachOnlyByBranch(boolean reachOnlyByBranch) { if (reachOnlyByBranch) { setTop(true); } this.reachOnlyByBranch = reachOnlyByBranch; }
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); }
int branchTarget = dbc.getBranchTarget(); addJumpValue(dbc.getPC(), branchTarget); setTop(true); break; } else { seenTransferOfControl = true; setReachOnlyByBranch(true); setTop(true); break; addJumpValue(dbc.getPC(), dbc.getBranchTarget()); stack.clear(); setTop(true); setTop(false); break; setTop(true); } finally { if (DEBUG) {
void setReachOnlyByBranch(boolean reachOnlyByBranch) { if (reachOnlyByBranch) { setTop(true); } this.reachOnlyByBranch = reachOnlyByBranch; }
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); }
int branchTarget = dbc.getBranchTarget(); addJumpValue(dbc.getPC(), branchTarget); setTop(true); break; } else { seenTransferOfControl = true; setReachOnlyByBranch(true); setTop(true); break; addJumpValue(dbc.getPC(), dbc.getBranchTarget()); stack.clear(); setTop(true); setTop(false); break; setTop(true); } finally { if (DEBUG) {