Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
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()[all …]
3232 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()3331 FileNullability &fileNullability = S.NullabilityMap[file]; in GetFullTypeForDeclarator()5509 FileNullability &fileNullability = NullabilityMap[file]; in checkNullabilityTypeSpecifier()
391 FileNullabilityMap NullabilityMap; variable