Searched refs:edgeState (Results 1 – 1 of 1) sorted by relevance
204 auto *edgeState = getOrCreate<Executable>(getProgramPoint<CFGEdge>(from, to)); in markEdgeLive() local205 propagateIfChanged(edgeState, edgeState->setToLive()); in markEdgeLive()