Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
305 StatePrev->get<NullabilityMap>(Region); in VisitNode()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()816 State->get<NullabilityMap>(Region); in checkPostCall()940 State = State->set<NullabilityMap>( in checkPostObjCMessage()962 State = State->set<NullabilityMap>( in checkPostObjCMessage()1008 State->get<NullabilityMap>(Region); in checkPostStmt()1195 State = State->set<NullabilityMap>( in checkBind()[all …]
4390 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()4426 FileNullability &fileNullability = S.NullabilityMap[file]; in recordNullabilitySeen()
720 FileNullabilityMap NullabilityMap; variable