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