Searched refs:HandleBlockEdge (Results 1 – 2 of 2) sorted by relevance
187 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() function in CoreEngine509 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch()520 HandleBlockEdge(Loc, Pred); in HandleVirtualBaseBranch()
111 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);