Searched refs:HandleBlockExit (Results 1 – 2 of 2) sorted by relevance
292 HandleBlockExit(L.getBlock(), Pred); in HandleBlockEntrance()295 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit() function in CoreEngine464 HandleBlockExit(B, Pred); in HandlePostStmt()
109 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);