144     NullabilityBugVisitor(const MemRegion *M) : Region(M) {}  in NullabilityBugVisitor()
149       ID.AddPointer(Region);  in Profile()
158     const MemRegion *Region;  member in __anon414b416c0111::NullabilityChecker::NullabilityBugVisitor
167                                  ExplodedNode *N, const MemRegion *Region,
173                  const MemRegion *Region, BugReporter &BR,  in reportBug()  argument
177     if (Region) {  in reportBug()
178       R->markInteresting(Region);  in reportBug()
179       R->addVisitor<NullabilityBugVisitor>(Region);  in reportBug()
326   const MemRegion *Region = RegionSVal->getRegion();  in getTrackRegion()  local
329     if (const SubRegion *FieldReg = Region->getAs<FieldRegion>()) {  in getTrackRegion()
334     if (auto ElementReg = Region->getAs<ElementRegion>())  in getTrackRegion()
338   return dyn_cast<SymbolicRegion>(Region);  in getTrackRegion()
347   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
349       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
483     const MemRegion *Region, CheckerContext &C, const Stmt *ValueExpr,  in reportBugIfInvariantHolds()  argument
494   reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr);  in reportBugIfInvariantHolds()
503     const auto *Region = Reg->getAs<SymbolicRegion>();  in checkDeadSymbols()  local
504     assert(Region && "Non-symbolic region is tracked.");  in checkDeadSymbols()
505     if (SR.isDead(Region->getSymbol())) {  in checkDeadSymbols()
536   const MemRegion *Region =  in checkEvent()  local
538   if (!Region)  in checkEvent()
543       State->get<NullabilityMap>(Region);  in checkEvent()
556                 Event.SinkNode, Region, BR);  in checkEvent()
561                 Event.SinkNode, Region, BR);  in checkEvent()
620   const auto *Region =  in checkLocation()  local
622   if (!Region)  in checkLocation()
627   auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>();  in checkLocation()
632       getNullabilityAnnotation(Region->getValueType());  in checkLocation()
733   const MemRegion *Region = getTrackRegion(*RetSVal);  in checkPreStmt()  local
734   if (!Region)  in checkPreStmt()
738       State->get<NullabilityMap>(Region);  in checkPreStmt()
754                                 CK_NullableReturnedFromNonnull, N, Region, C);  in checkPreStmt()
759     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
825     const MemRegion *Region = getTrackRegion(*ArgSVal);  in checkPreCall()  local
826     if (!Region)  in checkPreCall()
830         State->get<NullabilityMap>(Region);  in checkPreCall()
846                                   CK_NullablePassedToNonnull, N, Region, C,  in checkPreCall()
855                                   CK_NullableDereferenced, N, Region, C,  in checkPreCall()
885   const MemRegion *Region = getTrackRegion(Call.getReturnValue());  in checkPostCall()  local
886   if (!Region)  in checkPostCall()
894     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
900       State->get<NullabilityMap>(Region);  in checkPostCall()
912     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
1151   const MemRegion *Region = getTrackRegion(*RegionSVal);  in checkPostStmt()  local
1152   if (!Region)  in checkPostStmt()
1159       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1166       State->get<NullabilityMap>(Region);  in checkPostStmt()
1171     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1179     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1382   for (auto [Region, State] : B) {  in printState()
1383     Out << Region << " : ";  in printState()