Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
303 StatePrev->get<NullabilityMap>(Region); in VisitNode()488 State->get<NullabilityMap>(Region); in checkEvent()612 State->get<NullabilityMap>(Region); in checkPreStmt()704 State->get<NullabilityMap>(Region); in checkPreCall()737 State = State->set<NullabilityMap>( in checkPreCall()778 State->get<NullabilityMap>(Region); in checkPostCall()902 State = State->set<NullabilityMap>( in checkPostObjCMessage()924 State = State->set<NullabilityMap>( in checkPostObjCMessage()970 State->get<NullabilityMap>(Region); in checkPostStmt()1159 State = State->set<NullabilityMap>( in checkBind()[all …]
3813 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()3849 FileNullability &fileNullability = S.NullabilityMap[file]; in recordNullabilitySeen()
489 FileNullabilityMap NullabilityMap; variable