Searched refs:ValuesToInvalidate (Results 1 – 2 of 2) sorted by relevance
242 SmallVector<SVal, 8> ValuesToInvalidate; in invalidateRegions() local245 getExtraInvalidatedValues(ValuesToInvalidate, &ETraits); in invalidateRegions()261 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()276 ValuesToInvalidate.push_back(loc::MemRegionVal(TVR)); in invalidateRegions()282 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), in invalidateRegions()
3458 SmallVector<SVal, 8> ValuesToInvalidate; in VisitAtomicExpr() local3462 ValuesToInvalidate.push_back(SubExprVal); in VisitAtomicExpr()3465 State = State->invalidateRegions(ValuesToInvalidate, AE, in VisitAtomicExpr()