270 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
347   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);  in VisitNode()
349       StatePrev->get<NullabilityMap>(Region);  in VisitNode()
501   NullabilityMapTy Nullabilities = State->get<NullabilityMap>();  in checkDeadSymbols()
506       State = State->remove<NullabilityMap>(Reg);  in checkDeadSymbols()
543       State->get<NullabilityMap>(Region);  in checkEvent()
591     State = State->set<NullabilityMap>(ParamPointeeRegion,  in checkBeginFunction()
738       State->get<NullabilityMap>(Region);  in checkPreStmt()
759     State = State->set<NullabilityMap>(Region,  in checkPreStmt()
830         State->get<NullabilityMap>(Region);  in checkPreCall()
894     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostCall()
900       State->get<NullabilityMap>(Region);  in checkPostCall()
912     State = State->set<NullabilityMap>(Region, Nullability::Nullable);  in checkPostCall()
939         State->get<NullabilityMap>(SelfRegion);  in getReceiverNullability()
1006           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
1016           State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);  in checkPostObjCMessage()
1028           State = State->set<NullabilityMap>(ReturnRegion,  in checkPostObjCMessage()
1041       State->get<NullabilityMap>(ReturnRegion);  in checkPostObjCMessage()
1056       State = State->set<NullabilityMap>(  in checkPostObjCMessage()
1119     State = State->set<NullabilityMap>(  in checkPostObjCMessage()
1158       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1165       State->get<NullabilityMap>(Region);  in checkPostStmt()
1170     State = State->set<NullabilityMap>(Region,  in checkPostStmt()
1178     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);  in checkPostStmt()
1328       State->get<NullabilityMap>(ValueRegion);  in checkBind()
1352     State = State->set<NullabilityMap>(  in checkBind()
1360     State = State->set<NullabilityMap>(  in checkBind()
1369   NullabilityMapTy B = State->get<NullabilityMap>();  in printState()