138     NullabilityBugVisitor(const MemRegion *M) : Region(M) {}  in NullabilityBugVisitor()
143       ID.AddPointer(Region);  in Profile()
152     const MemRegion *Region;  member in __anon0e3a3a9c0111::NullabilityChecker::NullabilityBugVisitor
161                                  ExplodedNode *N, const MemRegion *Region,
167                  const MemRegion *Region, BugReporter &BR,  in reportBug()  argument
171     if (Region) {  in reportBug()
172       R->markInteresting(Region);  in reportBug()
173       R->addVisitor<NullabilityBugVisitor>(Region);  in reportBug()
285   const MemRegion *Region = RegionSVal->getRegion();  in getTrackRegion()  local
288     if (auto FieldReg = Region->getAs<FieldRegion>())  in getTrackRegion()
290     if (auto ElementReg = Region->getAs<ElementRegion>())  in getTrackRegion()
294   return dyn_cast<SymbolicRegion>(Region);  in getTrackRegion()
303   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
305       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
439     const MemRegion *Region, CheckerContext &C, const Stmt *ValueExpr,  in reportBugIfInvariantHolds()  argument
450   reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr);  in reportBugIfInvariantHolds()
461     const auto *Region = I->first->getAs<SymbolicRegion>();  in checkDeadSymbols()  local
462     assert(Region && "Non-symbolic region is tracked.");  in checkDeadSymbols()
463     if (SR.isDead(Region->getSymbol())) {  in checkDeadSymbols()
483   const MemRegion *Region =  in checkEvent()  local
485   if (!Region)  in checkEvent()
490       State->get<NullabilityMap>(Region);  in checkEvent()
503                 Event.SinkNode, Region, BR);  in checkEvent()
508                 Event.SinkNode, Region, BR);  in checkEvent()
536   const auto *Region =  in checkLocation()  local
538   if (!Region)  in checkLocation()
543   auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>();  in checkLocation()
548       getNullabilityAnnotation(Region->getValueType());  in checkLocation()
649   const MemRegion *Region = getTrackRegion(*RetSVal);  in checkPreStmt()  local
650   if (!Region)  in checkPreStmt()
654       State->get<NullabilityMap>(Region);  in checkPreStmt()
670                                 CK_NullableReturnedFromNonnull, N, Region, C);  in checkPreStmt()
675     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
741     const MemRegion *Region = getTrackRegion(*ArgSVal);  in checkPreCall()  local
742     if (!Region)  in checkPreCall()
746         State->get<NullabilityMap>(Region);  in checkPreCall()
762                                   CK_NullablePassedToNonnull, N, Region, C,  in checkPreCall()
771                                   CK_NullableDereferenced, N, Region, C,  in checkPreCall()
801   const MemRegion *Region = getTrackRegion(Call.getReturnValue());  in checkPostCall()  local
802   if (!Region)  in checkPostCall()
810     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
816       State->get<NullabilityMap>(Region);  in checkPostCall()
820     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
993   const MemRegion *Region = getTrackRegion(*RegionSVal);  in checkPostStmt()  local
994   if (!Region)  in checkPostStmt()
1001       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1008       State->get<NullabilityMap>(Region);  in checkPostStmt()
1013     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1021     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()