Searched defs:HandleBlockExit (Results 1 – 2 of 2) sorted by relevance
295 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit() function in CoreEngine
355 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit() function in CoreEngine