133     NullabilityBugVisitor(const MemRegion *M) : Region(M) {}  in NullabilityBugVisitor()
138       ID.AddPointer(Region);  in Profile()
147     const MemRegion *Region;  member in __anon18dbe65b0111::NullabilityChecker::NullabilityBugVisitor
156                                  ExplodedNode *N, const MemRegion *Region,
162                  const MemRegion *Region, BugReporter &BR,  in reportBug()  argument
168     if (Region) {  in reportBug()
169       R->markInteresting(Region);  in reportBug()
170       R->addVisitor(llvm::make_unique<NullabilityBugVisitor>(Region));  in reportBug()
282   const MemRegion *Region = RegionSVal->getRegion();  in getTrackRegion()  local
285     if (auto FieldReg = Region->getAs<FieldRegion>())  in getTrackRegion()
287     if (auto ElementReg = Region->getAs<ElementRegion>())  in getTrackRegion()
291   return dyn_cast<SymbolicRegion>(Region);  in getTrackRegion()
301   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
303       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
437     ErrorKind Error, ExplodedNode *N, const MemRegion *Region,  in reportBugIfInvariantHolds()  argument
448   reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr);  in reportBugIfInvariantHolds()
459     const auto *Region = I->first->getAs<SymbolicRegion>();  in checkDeadSymbols()  local
460     assert(Region && "Non-symbolic region is tracked.");  in checkDeadSymbols()
461     if (SR.isDead(Region->getSymbol())) {  in checkDeadSymbols()
481   const MemRegion *Region =  in checkEvent()  local
483   if (!Region)  in checkEvent()
488       State->get<NullabilityMap>(Region);  in checkEvent()
500                 ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);  in checkEvent()
504                 Event.SinkNode, Region, BR);  in checkEvent()
607   const MemRegion *Region = getTrackRegion(*RetSVal);  in checkPreStmt()  local
608   if (!Region)  in checkPreStmt()
612       State->get<NullabilityMap>(Region);  in checkPreStmt()
629                                 Region, C);  in checkPreStmt()
634     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
699     const MemRegion *Region = getTrackRegion(*ArgSVal);  in checkPreCall()  local
700     if (!Region)  in checkPreCall()
704         State->get<NullabilityMap>(Region);  in checkPreCall()
721                                   Region, C, ArgExpr, /*SuppressPath=*/true);  in checkPreCall()
728                                   ErrorKind::NullableDereferenced, N, Region,  in checkPreCall()
738         Region, NullabilityState(ArgExprTypeLevelNullability, ArgExpr));  in checkPreCall()
763   const MemRegion *Region = getTrackRegion(Call.getReturnValue());  in checkPostCall()  local
764   if (!Region)  in checkPostCall()
772     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
778       State->get<NullabilityMap>(Region);  in checkPostCall()
782     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
955   const MemRegion *Region = getTrackRegion(*RegionSVal);  in checkPostStmt()  local
956   if (!Region)  in checkPostStmt()
963       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
970       State->get<NullabilityMap>(Region);  in checkPostStmt()
975     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
983     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()