Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
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()[all …]
4276 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()4312 FileNullability &fileNullability = S.NullabilityMap[file]; in recordNullabilitySeen()
719 FileNullabilityMap NullabilityMap; variable