148     NullabilityBugVisitor(const MemRegion *M) : Region(M) {}  in NullabilityBugVisitor()
153       ID.AddPointer(Region);  in Profile()
163     const MemRegion *Region;  member in __anon6c84c66b0111::NullabilityChecker::NullabilityBugVisitor
172                                  ExplodedNode *N, const MemRegion *Region,
178                  const MemRegion *Region, BugReporter &BR,  in reportBug()  argument
184     if (Region) {  in reportBug()
185       R->markInteresting(Region);  in reportBug()
186       R->addVisitor(llvm::make_unique<NullabilityBugVisitor>(Region));  in reportBug()
297   const MemRegion *Region = RegionSVal->getRegion();  in getTrackRegion()  local
300     if (auto FieldReg = Region->getAs<FieldRegion>())  in getTrackRegion()
302     if (auto ElementReg = Region->getAs<ElementRegion>())  in getTrackRegion()
306   return dyn_cast<SymbolicRegion>(Region);  in getTrackRegion()
315   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
317       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
459     ErrorKind Error, ExplodedNode *N, const MemRegion *Region,  in reportBugIfInvariantHolds()  argument
470   reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr);  in reportBugIfInvariantHolds()
484     const auto *Region = I->first->getAs<SymbolicRegion>();  in checkDeadSymbols()  local
485     assert(Region && "Non-symbolic region is tracked.");  in checkDeadSymbols()
486     if (SR.isDead(Region->getSymbol())) {  in checkDeadSymbols()
506   const MemRegion *Region =  in checkEvent()  local
508   if (!Region)  in checkEvent()
513       State->get<NullabilityMap>(Region);  in checkEvent()
525                 ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);  in checkEvent()
529                 Event.SinkNode, Region, BR);  in checkEvent()
633   const MemRegion *Region = getTrackRegion(*RetSVal);  in checkPreStmt()  local
634   if (!Region)  in checkPreStmt()
638       State->get<NullabilityMap>(Region);  in checkPreStmt()
655                                 Region, C);  in checkPreStmt()
660     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
722     const MemRegion *Region = getTrackRegion(*ArgSVal);  in checkPreCall()  local
723     if (!Region)  in checkPreCall()
727         State->get<NullabilityMap>(Region);  in checkPreCall()
744                                   Region, C, ArgExpr, /*SuppressPath=*/true);  in checkPreCall()
751                                   ErrorKind::NullableDereferenced, N, Region,  in checkPreCall()
761         Region, NullabilityState(ArgExprTypeLevelNullability, ArgExpr));  in checkPreCall()
786   const MemRegion *Region = getTrackRegion(Call.getReturnValue());  in checkPostCall()  local
787   if (!Region)  in checkPostCall()
795     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
801       State->get<NullabilityMap>(Region);  in checkPostCall()
805     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
979   const MemRegion *Region = getTrackRegion(*RegionSVal);  in checkPostStmt()  local
980   if (!Region)  in checkPostStmt()
987       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
994       State->get<NullabilityMap>(Region);  in checkPostStmt()
999     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1007     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()