Searched refs:IvarLVal (Results 1 – 1 of 1) sorted by relevance
993 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues() local994 if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) { in getExtraInvalidatedValues()1001 Values.push_back(IvarLVal); in getExtraInvalidatedValues()