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