Searched refs:BoolAssignmentChecker (Results 1 – 5 of 5) sorted by relevance
24 class BoolAssignmentChecker : public Checker< check::Bind > { class32 void BoolAssignmentChecker::emitReport(ProgramStateRef state, in emitReport()55 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()96 mgr.registerChecker<BoolAssignmentChecker>(); in registerBoolAssignmentChecker()
13 BoolAssignmentChecker.cpp
22 "BoolAssignmentChecker.cpp",
21 BoolAssignmentChecker.cpp \
236 def BoolAssignmentChecker : Checker<"BoolAssignment">,