Searched refs:BoolAssignmentChecker (Results 1 – 4 of 4) sorted by relevance
26 class BoolAssignmentChecker : public Checker< check::Bind > { class36 void BoolAssignmentChecker::emitReport(ProgramStateRef state, CheckerContext &C, in emitReport()60 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()103 mgr.registerChecker<BoolAssignmentChecker>(); in registerBoolAssignmentChecker()
14 BoolAssignmentChecker.cpp
23 "BoolAssignmentChecker.cpp",
244 def BoolAssignmentChecker : Checker<"BoolAssignment">,