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