Searched refs:HandleVirtualBaseBranch (Results 1 – 2 of 2) sorted by relevance
437 HandleVirtualBaseBranch(B, Pred); in HandleBlockExit()500 void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B, in HandleVirtualBaseBranch() function in CoreEngine
128 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);