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