Home
last modified time | relevance | path

Searched refs:ValuesToInvalidate (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp241 SmallVector<SVal, 8> ValuesToInvalidate; in invalidateRegions() local
244 getExtraInvalidatedValues(ValuesToInvalidate, &ETraits); in invalidateRegions()
260 ValuesToInvalidate.push_back(getArgSVal(Idx)); in invalidateRegions()
275 ValuesToInvalidate.push_back(loc::MemRegionVal(TVR)); in invalidateRegions()
281 return Result->invalidateRegions(ValuesToInvalidate, getCFGElementRef(), in invalidateRegions()
H A DExprEngine.cpp3583 SmallVector<SVal, 8> ValuesToInvalidate; in VisitAtomicExpr() local
3587 ValuesToInvalidate.push_back(SubExprVal); in VisitAtomicExpr()
3590 State = State->invalidateRegions(ValuesToInvalidate, getCFGElementRef(), in VisitAtomicExpr()