Lines Matching refs:NullabilityChecker
80 class NullabilityChecker class
277 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const { in getTrackRegion()
297 PathDiagnosticPieceRef NullabilityChecker::NullabilityBugVisitor::VisitNode( in VisitNode()
437 void NullabilityChecker::reportBugIfInvariantHolds( in reportBugIfInvariantHolds()
454 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR, in checkDeadSymbols()
479 void NullabilityChecker::checkEvent(ImplicitNullDerefEvent Event) const { in checkEvent()
526 void NullabilityChecker::checkLocation(SVal Location, bool IsLoad, in checkLocation()
569 void NullabilityChecker::checkPreStmt(const ReturnStmt *S, in checkPreStmt()
684 void NullabilityChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
783 void NullabilityChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
857 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M, in checkPostObjCMessage()
972 void NullabilityChecker::checkPostStmt(const ExplicitCastExpr *CE, in checkPostStmt()
1094 void NullabilityChecker::checkBind(SVal L, SVal V, const Stmt *S, in checkBind()
1209 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
1232 mgr.registerChecker<NullabilityChecker>(); in registerNullabilityBase()
1241 NullabilityChecker *checker = mgr.getChecker<NullabilityChecker>(); \
1242 checker->ChecksEnabled[NullabilityChecker::CK_##name] = true; \
1243 checker->CheckNames[NullabilityChecker::CK_##name] = \