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