Searched refs:NullabilityMap (Results 1 – 3 of 3) sorted by relevance
247 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,315 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()317 StatePrev->get<NullabilityMap>(Region); in VisitNode()480 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()487 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()513 State->get<NullabilityMap>(Region); in checkEvent()638 State->get<NullabilityMap>(Region); in checkPreStmt()660 State = State->set<NullabilityMap>(Region, in checkPreStmt()727 State->get<NullabilityMap>(Region); in checkPreCall()760 State = State->set<NullabilityMap>( in checkPreCall()[all …]
3469 FileNullability &fileNullability = S.NullabilityMap[file]; in checkNullabilityConsistency()3570 FileNullability &fileNullability = S.NullabilityMap[file]; in GetFullTypeForDeclarator()5819 FileNullability &fileNullability = NullabilityMap[file]; in checkNullabilityTypeSpecifier()
424 FileNullabilityMap NullabilityMap; variable