Home
last modified time | relevance | path

Searched refs:CompoundVal (Results 1 – 8 of 8) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp154 nonloc::CompoundVal::iterator nonloc::CompoundVal::begin() const { in begin()
158 nonloc::CompoundVal::iterator nonloc::CompoundVal::end() const { in end()
273 const nonloc::CompoundVal& C = castAs<nonloc::CompoundVal>(); in dumpToStream()
276 for (nonloc::CompoundVal::iterator I=C.begin(), E=C.end(); I!=E; ++I) { in dumpToStream()
DRegionStore.cpp1880 const nonloc::CompoundVal& CV = Init.castAs<nonloc::CompoundVal>(); in bindArray()
1881 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindArray()
1924 if (!V.getAs<nonloc::CompoundVal>()) { in bindVector()
1929 nonloc::CompoundVal CV = V.castAs<nonloc::CompoundVal>(); in bindVector()
1930 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindVector()
1973 if (V.isUnknown() || !V.getAs<nonloc::CompoundVal>()) in bindStruct()
1976 const nonloc::CompoundVal& CV = V.castAs<nonloc::CompoundVal>(); in bindStruct()
1977 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindStruct()
DProgramState.cpp481 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()
482 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I) in scan()
545 if (Optional<nonloc::CompoundVal> X = val.getAs<nonloc::CompoundVal>()) in scan()
DBugReporterVisitors.cpp266 V.getAs<nonloc::CompoundVal>()) in visitNodeInitial()
/external/clang/lib/StaticAnalyzer/Checkers/
DNonNullParamChecker.cpp94 if (Optional<nonloc::CompoundVal> CSV = in checkPreCall()
95 DV->getAs<nonloc::CompoundVal>()) { in checkPreCall()
96 nonloc::CompoundVal::iterator CSV_I = CSV->begin(); in checkPreCall()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h402 class CompoundVal : public NonLoc {
405 explicit CompoundVal(const CompoundValData* D) : NonLoc(CompoundValKind, D) {} in CompoundVal() function
418 CompoundVal() {} in CompoundVal() function
DSValBuilder.h205 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
DProgramState.h805 bool scan(nonloc::CompoundVal val);