Searched refs:BoolAssignmentChecker (Results 1 – 3 of 3) sorted by relevance
25 class BoolAssignmentChecker : public Checker< check::Bind > { class33 void BoolAssignmentChecker::emitReport(ProgramStateRef state, in emitReport()54 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()156 mgr.registerChecker<BoolAssignmentChecker>(); in registerBoolAssignmentChecker()
147 def BoolAssignmentChecker : Checker<"BoolAssignment">,
481 SRCS_FUL+= StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp