Lines Matching refs:NullabilityChecker

82 class NullabilityChecker  class
318 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const { in getTrackRegion()
341 PathDiagnosticPieceRef NullabilityChecker::NullabilityBugVisitor::VisitNode( in VisitNode()
481 void NullabilityChecker::reportBugIfInvariantHolds( in reportBugIfInvariantHolds()
498 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
532 void NullabilityChecker::checkEvent(ImplicitNullDerefEvent Event) const { in checkEvent()
566 void NullabilityChecker::checkBeginFunction(CheckerContext &C) const { in checkBeginFunction()
610 void NullabilityChecker::checkLocation(SVal Location, bool IsLoad, in checkLocation()
653 void NullabilityChecker::checkPreStmt(const ReturnStmt *S, in checkPreStmt()
768 void NullabilityChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
867 void NullabilityChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
950 ProgramStateRef NullabilityChecker::evalAssume(ProgramStateRef State, SVal Cond, in evalAssume()
973 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
1130 void NullabilityChecker::checkPostStmt(const ExplicitCastExpr *CE, in checkPostStmt()
1252 void NullabilityChecker::checkBind(SVal L, SVal V, const Stmt *S, in checkBind()
1367 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
1390 mgr.registerChecker<NullabilityChecker>(); in registerNullabilityBase()
1399 NullabilityChecker *checker = mgr.getChecker<NullabilityChecker>(); \
1400 checker->ChecksEnabled[NullabilityChecker::CK_##name] = true; \
1401 checker->CheckNames[NullabilityChecker::CK_##name] = \