Searched refs:HandleBlockEntrance (Results 1 – 2 of 2) sorted by relevance
251 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()335 void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, in HandleBlockEntrance() function in CoreEngine
92 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);