Searched defs:CheckBranchConditionContext (Results 1 – 1 of 1) sorted by relevance
438 struct CheckBranchConditionContext { struct439 typedef std::vector<CheckerManager::CheckBranchConditionFunc> CheckersTy;440 const CheckersTy &Checkers;441 const Stmt *Condition;442 ExprEngine &Eng;444 CheckersTy::const_iterator checkers_begin() { return Checkers.begin(); } in checkers_begin()445 CheckersTy::const_iterator checkers_end() { return Checkers.end(); } in checkers_end()447 CheckBranchConditionContext(const CheckersTy &checkers, in CheckBranchConditionContext() argument451 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn, in runChecker()