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