Searched refs:ValueRegion (Results 1 – 2 of 2) sorted by relevance
1323 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind() local1324 if (!ValueRegion) in checkBind()1328 State->get<NullabilityMap>(ValueRegion); in checkBind()1341 CK_NullablePassedToNonnull, N, ValueRegion, C); in checkBind()1353 ValueRegion, NullabilityState(ValNullability, NullabilitySource)); in checkBind()1361 ValueRegion, NullabilityState(LocNullability, NullabilitySource)); in checkBind()
1351 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor() local1352 if (!ValueRegion) { in ProcessAutomaticObjDtor()1359 Region = ValueRegion->getBaseRegion(); in ProcessAutomaticObjDtor()