Searched defs:CheckBranchConditionContext (Results 1 – 1 of 1) sorted by relevance
458 struct CheckBranchConditionContext { struct459 using CheckersTy = std::vector<CheckerManager::CheckBranchConditionFunc>;461 const CheckersTy &Checkers;462 const Stmt *Condition;463 ExprEngine &Eng;465 CheckBranchConditionContext(const CheckersTy &checkers, in CheckBranchConditionContext() function469 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); } in checkers_begin()470 CheckersTy::const_iterator checkers_end() { return Checkers.end(); } in checkers_end()472 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn, in runChecker()