Searched refs:BoolAssignmentChecker (Results 1 – 3 of 3) sorted by relevance
26 class BoolAssignmentChecker : public Checker< check::Bind > { class36 void BoolAssignmentChecker::emitReport(ProgramStateRef state, CheckerContext &C, in emitReport()57 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()100 mgr.registerChecker<BoolAssignmentChecker>(); in registerBoolAssignmentChecker()
260 def BoolAssignmentChecker : Checker<"BoolAssignment">,
611 SRCS_FUL+= StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp