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