Lines Matching refs:NullabilityChecker

95 class NullabilityChecker  class
289 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const {  in getTrackRegion()
309 PathDiagnosticPiece *NullabilityChecker::NullabilityBugVisitor::VisitNode(  in VisitNode()
458 void NullabilityChecker::reportBugIfInvariantHolds(StringRef Msg,  in reportBugIfInvariantHolds()
474 void NullabilityChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
502 void NullabilityChecker::checkEvent(ImplicitNullDerefEvent Event) const {  in checkEvent()
550 void NullabilityChecker::checkPreStmt(const ReturnStmt *S,  in checkPreStmt()
669 void NullabilityChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
768 void NullabilityChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()
842 void NullabilityChecker::checkPostObjCMessage(const ObjCMethodCall &M,  in checkPostObjCMessage()
957 void NullabilityChecker::checkPostStmt(const ExplicitCastExpr *CE,  in checkPostStmt()
1080 void NullabilityChecker::checkBind(SVal L, SVal V, const Stmt *S,  in checkBind()
1194 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
1213     NullabilityChecker *checker = mgr.registerChecker<NullabilityChecker>();   \