Home
last modified time | relevance | path

Searched refs:LazyCompoundVal (Results 1 – 19 of 19) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp168 QualType VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal LCV) { in VisitNonLocLazyCompoundVal()
193 const void *nonloc::LazyCompoundVal::getStore() const { in getStore()
197 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
331 const nonloc::LazyCompoundVal &C = castAs<nonloc::LazyCompoundVal>(); in dumpToStream()
H A DRegionStore.cpp1032 if (Optional<nonloc::LazyCompoundVal> LCS = in VisitBinding()
1291 V.getAs<nonloc::LazyCompoundVal>()) { in populateWorkList()
1540 static Optional<nonloc::LazyCompoundVal>
1547 Optional<nonloc::LazyCompoundVal> LCV = V->getAs<nonloc::LazyCompoundVal>(); in getExistingLazyBinding()
1580 if (Optional<nonloc::LazyCompoundVal> V = in findLazyBinding()
2301 if (Optional<nonloc::LazyCompoundVal> V = in createLazyBinding()
2440 nonloc::LazyCompoundVal LCV) { in tryBindSmallArray()
2493 if (Optional<nonloc::LazyCompoundVal> LCV = in bindArray()
2629 if (Optional<nonloc::LazyCompoundVal> LCV = in bindStruct()
2630 V.getAs<nonloc::LazyCompoundVal>()) { in bindStruct()
[all …]
H A DProgramState.cpp546 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()
586 if (Optional<nonloc::LazyCompoundVal> X = in scan()
587 val.getAs<nonloc::LazyCompoundVal>()) in scan()
H A DSValBuilder.cpp492 if (isa<nonloc::LazyCompoundVal>(lhs) || isa<nonloc::LazyCompoundVal>(rhs)) { in evalBinOp()
882 SVal VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal V) { in VisitNonLocLazyCompoundVal()
H A DBugReporterVisitors.cpp196 const auto LLCV = LeftVal.getAs<nonloc::LazyCompoundVal>(); in hasVisibleUpdate()
200 const auto RLCV = RightVal.getAs<nonloc::LazyCompoundVal>(); in hasVisibleUpdate()
1036 if (isa<nonloc::LazyCompoundVal, nonloc::CompoundVal>(V)) in visitNodeInitial()
/llvm-project-15.0.7/clang/docs/analyzer/developer-docs/
H A DRegionStore.rst144 Lazy Bindings (LazyCompoundVal)
149 LazyCompoundVal. When the store is asked for the "binding" for an entire
151 LazyCompoundVal instead. When this value is then stored into a variable, it is
155 Under the hood, a LazyCompoundVal is implemented as a uniqued pair of (region,
163 to super-regions to look for an appropriate default binding. LazyCompoundVal
167 LazyCompoundVal region, and look up *that* region in the previous store.
175 CGPoint p2 = p; // A LazyCompoundVal is created for 'p', along with a
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp191 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) { in getIteratorPosition()
204 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) { in setIteratorPosition()
H A DTaint.cpp65 if (auto LCV = V.getAs<nonloc::LazyCompoundVal>()) { in addTaint()
H A DIteratorModeling.cpp783 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) { in removeIteratorPosition()
824 if (const auto LCVal = Binding.second.getAs<nonloc::LazyCompoundVal>()) { in isBoundThroughLazyCompoundVal()
H A DCallAndMessageChecker.cpp319 if (auto LV = V.getAs<nonloc::LazyCompoundVal>()) { in PreVisitProcessArg()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.def65 NONLOC_SVAL(LazyCompoundVal, NonLoc)
H A DSVals.h402 class LazyCompoundVal : public NonLoc {
405 explicit LazyCompoundVal(const LazyCompoundValData *D) in LazyCompoundVal() function
H A DStore.h96 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding()
H A DSValBuilder.h247 return nonloc::LazyCompoundVal( in makeLazyCompoundVal()
H A DProgramState.h913 bool scan(nonloc::LazyCompoundVal val);
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h88 std::string VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal V) { in VisitNonLocLazyCompoundVal()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DSValTest.cpp318 auto LD = D->begin()->getAs<nonloc::LazyCompoundVal>();
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyzerOptions.def444 "a LazyCompoundVal on bind. To disable all small-struct-dependent "
452 "a LazyCompoundVal on bind. To disable all small-array-dependent "
/llvm-project-15.0.7/clang/test/Analysis/
H A Dmisc-ps-region-store.m435 // a field value from a LazyCompoundVal