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