Searched defs:ValueRegion (Results 1 – 2 of 2) sorted by relevance
1166 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind() local
962 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor() local