Searched refs:setToLive (Results 1 – 2 of 2) sorted by relevance
21 ChangeResult Executable::setToLive() { in setToLive() function in Executable110 propagateIfChanged(state, state->setToLive()); in initialize()203 propagateIfChanged(state, state->setToLive()); in markEdgeLive()205 propagateIfChanged(edgeState, edgeState->setToLive()); in markEdgeLive()213 propagateIfChanged(state, state->setToLive()); in markEntryBlocksLive()367 propagateIfChanged(state, state->setToLive()); in visitRegionBranchOperation()392 propagateIfChanged(state, state->setToLive()); in visitRegionTerminator()
48 ChangeResult setToLive();