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