Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
266 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,339 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()341 StatePrev->get<NullabilityMap>(Region); in VisitNode()493 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()500 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()539 State->get<NullabilityMap>(Region); in checkEvent()703 State->get<NullabilityMap>(Region); in checkPreStmt()724 State = State->set<NullabilityMap>(Region, in checkPreStmt()795 State->get<NullabilityMap>(Region); in checkPreCall()859 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()[all …]
4457 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()4493 FileNullability &fileNullability = S.NullabilityMap[file]; in recordNullabilitySeen()
721 FileNullabilityMap NullabilityMap; variable