232 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
301   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
303       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
455   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();  in checkDeadSymbols()
462       State = State->remove<NullabilityMap>(I->first);  in checkDeadSymbols()
488       State->get<NullabilityMap>(Region);  in checkEvent()
612       State->get<NullabilityMap>(Region);  in checkPreStmt()
634     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
704         State->get<NullabilityMap>(Region);  in checkPreCall()
737     State = State->set<NullabilityMap>(  in checkPreCall()
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()
809         State->get<NullabilityMap>(SelfRegion);  in getReceiverNullability()
852           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
862           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
874           State = State->set<NullabilityMap>(ReturnRegion,  in checkPostObjCMessage()
887       State->get<NullabilityMap>(ReturnRegion);  in checkPostObjCMessage()
902       State = State->set<NullabilityMap>(  in checkPostObjCMessage()
924     State = State->set<NullabilityMap>(  in checkPostObjCMessage()
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()
1135       State->get<NullabilityMap>(ValueRegion);  in checkBind()
1159     State = State->set<NullabilityMap>(  in checkBind()
1167     State = State->set<NullabilityMap>(  in checkBind()
1176   NullabilityMapTy B = State->get<NullabilityMap>();  in printState()