Lines Matching refs:propagateIfChanged
110 propagateIfChanged(state, state->setToLive()); in initialize()
138 propagateIfChanged(state, state->setHasUnknownPredecessors()); in initializeSymbolCallables()
155 propagateIfChanged(state, state->setHasUnknownPredecessors()); in initializeSymbolCallables()
166 propagateIfChanged(state, state->setHasUnknownPredecessors()); in initializeSymbolCallables()
203 propagateIfChanged(state, state->setToLive()); in markEdgeLive()
205 propagateIfChanged(edgeState, edgeState->setToLive()); in markEdgeLive()
213 propagateIfChanged(state, state->setToLive()); in markEntryBlocksLive()
301 propagateIfChanged(callsites, callsites->join(call)); in visitCallOperation()
305 propagateIfChanged(predecessors, predecessors->setHasUnknownPredecessors()); in visitCallOperation()
367 propagateIfChanged(state, state->setToLive()); in visitRegionBranchOperation()
370 propagateIfChanged( in visitRegionBranchOperation()
392 propagateIfChanged(state, state->setToLive()); in visitRegionTerminator()
398 propagateIfChanged(predecessors, in visitRegionTerminator()
416 propagateIfChanged(predecessors, predecessors->join(op)); in visitCallableTerminator()
420 propagateIfChanged(predecessors, in visitCallableTerminator()