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