Searched refs:runCheckersForBranchCondition (Results 1 – 3 of 3) sorted by relevance
305 void runCheckersForBranchCondition(const Stmt *condition,
484 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition, in runCheckersForBranchCondition() function in CheckerManager
2060 getCheckerManager().runCheckersForBranchCondition(Condition, CheckersOutSet, in processBranch()