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