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