Lines Matching refs:NullabilityMap
237 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
286 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()
288 StatePrev->get<NullabilityMap>(Region); in VisitNode()
413 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()
420 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()
446 State->get<NullabilityMap>(Region); in checkEvent()
515 State->get<NullabilityMap>(Region); in checkPreStmt()
530 State = State->set<NullabilityMap>(Region, in checkPreStmt()
587 State->get<NullabilityMap>(Region); in checkPreCall()
613 State = State->set<NullabilityMap>( in checkPreCall()
648 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()
654 State->get<NullabilityMap>(Region); in checkPostCall()
658 State = State->set<NullabilityMap>(Region, Nullability::Nullable); in checkPostCall()
685 State->get<NullabilityMap>(SelfRegion); in getReceiverNullability()
728 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
738 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
750 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()
763 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()
778 State = State->set<NullabilityMap>( in checkPostObjCMessage()
800 State = State->set<NullabilityMap>( in checkPostObjCMessage()
840 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
847 State->get<NullabilityMap>(Region); in checkPostStmt()
852 State = State->set<NullabilityMap>(Region, in checkPostStmt()
860 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
942 State->get<NullabilityMap>(ValueRegion); in checkBind()
964 State = State->set<NullabilityMap>( in checkBind()
972 State = State->set<NullabilityMap>( in checkBind()
981 NullabilityMapTy B = State->get<NullabilityMap>(); in printState()