266 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
339   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
341       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
493   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();  in checkDeadSymbols()
500       State = State->remove<NullabilityMap>(I->first);  in checkDeadSymbols()
539       State->get<NullabilityMap>(Region);  in checkEvent()
703       State->get<NullabilityMap>(Region);  in checkPreStmt()
724     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
795         State->get<NullabilityMap>(Region);  in checkPreCall()
859     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
865       State->get<NullabilityMap>(Region);  in checkPostCall()
869     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
896         State->get<NullabilityMap>(SelfRegion);  in getReceiverNullability()
965           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
975           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
987           State = State->set<NullabilityMap>(ReturnRegion,  in checkPostObjCMessage()
1000       State->get<NullabilityMap>(ReturnRegion);  in checkPostObjCMessage()
1015       State = State->set<NullabilityMap>(  in checkPostObjCMessage()
1078     State = State->set<NullabilityMap>(  in checkPostObjCMessage()
1117       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1124       State->get<NullabilityMap>(Region);  in checkPostStmt()
1129     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1137     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1287       State->get<NullabilityMap>(ValueRegion);  in checkBind()
1311     State = State->set<NullabilityMap>(  in checkBind()
1319     State = State->set<NullabilityMap>(  in checkBind()
1328   NullabilityMapTy B = State->get<NullabilityMap>();  in printState()