Searched refs:ValueRegion (Results 1 – 1 of 1) sorted by relevance
1151 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind() local1152 if (!ValueRegion) in checkBind()1156 State->get<NullabilityMap>(ValueRegion); in checkBind()1169 ValueRegion, C); in checkBind()1181 ValueRegion, NullabilityState(ValNullability, NullabilitySource)); in checkBind()1189 ValueRegion, NullabilityState(LocNullability, NullabilitySource)); in checkBind()