235 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
303   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
305       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
457   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();  in checkDeadSymbols()
464       State = State->remove<NullabilityMap>(I->first);  in checkDeadSymbols()
490       State->get<NullabilityMap>(Region);  in checkEvent()
654       State->get<NullabilityMap>(Region);  in checkPreStmt()
675     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
746         State->get<NullabilityMap>(Region);  in checkPreCall()
810     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
816       State->get<NullabilityMap>(Region);  in checkPostCall()
820     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
847         State->get<NullabilityMap>(SelfRegion);  in getReceiverNullability()
890           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
900           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
912           State = State->set<NullabilityMap>(ReturnRegion,  in checkPostObjCMessage()
925       State->get<NullabilityMap>(ReturnRegion);  in checkPostObjCMessage()
940       State = State->set<NullabilityMap>(  in checkPostObjCMessage()
962     State = State->set<NullabilityMap>(  in checkPostObjCMessage()
1001       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1008       State->get<NullabilityMap>(Region);  in checkPostStmt()
1013     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1021     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1171       State->get<NullabilityMap>(ValueRegion);  in checkBind()
1195     State = State->set<NullabilityMap>(  in checkBind()
1203     State = State->set<NullabilityMap>(  in checkBind()
1212   NullabilityMapTy B = State->get<NullabilityMap>();  in printState()