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