Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp443 nonloc::LazyCompoundVal LCV);
550 const SValListTy &getInterestingValues(nonloc::LazyCompoundVal LCV);
985 if (Optional<nonloc::LazyCompoundVal> LCS = in VisitBinding()
986 V.getAs<nonloc::LazyCompoundVal>()) { in VisitBinding()
1217 if (Optional<nonloc::LazyCompoundVal> LCS = in populateWorkList()
1218 V.getAs<nonloc::LazyCompoundVal>()) { in populateWorkList()
1493 static Optional<nonloc::LazyCompoundVal>
1500 Optional<nonloc::LazyCompoundVal> LCV = V->getAs<nonloc::LazyCompoundVal>(); in getExistingLazyBinding()
1533 if (Optional<nonloc::LazyCompoundVal> V = in findLazyBinding()
1678 if (val.getAs<nonloc::LazyCompoundVal>()) in getBindingForDerivedDefaultValue()
[all …]
DSVals.cpp150 const void *nonloc::LazyCompoundVal::getStore() const { in getStore()
154 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
296 const nonloc::LazyCompoundVal &C = castAs<nonloc::LazyCompoundVal>(); in dumpToStream()
DProgramState.cpp508 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) { in scan()
563 if (Optional<nonloc::LazyCompoundVal> X = in scan()
564 val.getAs<nonloc::LazyCompoundVal>()) in scan()
DSValBuilder.cpp370 if (lhs.getAs<nonloc::LazyCompoundVal>() || in evalBinOp()
371 rhs.getAs<nonloc::LazyCompoundVal>()) { in evalBinOp()
DExprEngineC.cpp521 assert(InitVal.getAs<nonloc::LazyCompoundVal>()); in VisitDeclStmt()
DBugReporterVisitors.cpp271 if (V.getAs<nonloc::LazyCompoundVal>() || in visitNodeInitial()
/external/clang/docs/analyzer/
DRegionStore.txt134 Lazy Bindings (LazyCompoundVal)
139 LazyCompoundVal. When the store is asked for the "binding" for an entire
141 LazyCompoundVal instead. When this value is then stored into a variable, it is
145 Under the hood, a LazyCompoundVal is implemented as a uniqued pair of (region,
153 to super-regions to look for an appropriate default binding. LazyCompoundVal
157 LazyCompoundVal region, and look up *that* region in the previous store.
163 CGPoint p2 = p; // A LazyCompoundVal is created for 'p', along with a
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h438 class LazyCompoundVal : public NonLoc {
441 explicit LazyCompoundVal(const LazyCompoundValData *D) in LazyCompoundVal() function
452 LazyCompoundVal() {} in LazyCompoundVal() function
DSVals.def66 NONLOC_SVAL(LazyCompoundVal, NonLoc)
DSValBuilder.h223 return nonloc::LazyCompoundVal( in makeLazyCompoundVal()
DProgramState.h843 bool scan(nonloc::LazyCompoundVal val);
/external/clang/lib/StaticAnalyzer/Checkers/
DCallAndMessageChecker.cpp221 if (Optional<nonloc::LazyCompoundVal> LV = in PreVisitProcessArg()
222 V.getAs<nonloc::LazyCompoundVal>()) { in PreVisitProcessArg()
/external/clang/include/clang/StaticAnalyzer/Checkers/
DSValExplainer.h87 std::string VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal V) { in VisitNonLocLazyCompoundVal()
/external/clang/test/Analysis/
Dmisc-ps-region-store.m435 // a field value from a LazyCompoundVal