247 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
315   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
317       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
480   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();  in checkDeadSymbols()
487       State = State->remove<NullabilityMap>(I->first);  in checkDeadSymbols()
513       State->get<NullabilityMap>(Region);  in checkEvent()
638       State->get<NullabilityMap>(Region);  in checkPreStmt()
660     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
727         State->get<NullabilityMap>(Region);  in checkPreCall()
760     State = State->set<NullabilityMap>(  in checkPreCall()
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()
832         State->get<NullabilityMap>(SelfRegion);  in getReceiverNullability()
875           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
885           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
897           State = State->set<NullabilityMap>(ReturnRegion,  in checkPostObjCMessage()
910       State->get<NullabilityMap>(ReturnRegion);  in checkPostObjCMessage()
925       State = State->set<NullabilityMap>(  in checkPostObjCMessage()
947     State = State->set<NullabilityMap>(  in checkPostObjCMessage()
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()
1156       State->get<NullabilityMap>(ValueRegion);  in checkBind()
1180     State = State->set<NullabilityMap>(  in checkBind()
1188     State = State->set<NullabilityMap>(  in checkBind()
1197   NullabilityMapTy B = State->get<NullabilityMap>();  in printState()