Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp162 nonloc::CompoundVal::iterator nonloc::CompoundVal::begin() const { in begin()
166 nonloc::CompoundVal::iterator nonloc::CompoundVal::end() const { in end()
280 const nonloc::CompoundVal& C = castAs<nonloc::CompoundVal>(); in dumpToStream()
283 for (nonloc::CompoundVal::iterator I=C.begin(), E=C.end(); I!=E; ++I) { in dumpToStream()
DRegionStore.cpp1984 const nonloc::CompoundVal& CV = Init.castAs<nonloc::CompoundVal>(); in bindArray()
1985 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindArray()
2028 if (!V.getAs<nonloc::CompoundVal>()) { in bindVector()
2033 nonloc::CompoundVal CV = V.castAs<nonloc::CompoundVal>(); in bindVector()
2034 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindVector()
2123 if (V.isUnknown() || !V.getAs<nonloc::CompoundVal>()) in bindStruct()
2126 const nonloc::CompoundVal& CV = V.castAs<nonloc::CompoundVal>(); in bindStruct()
2127 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in bindStruct()
DProgramState.cpp521 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()
522 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I) in scan()
576 if (Optional<nonloc::CompoundVal> X = val.getAs<nonloc::CompoundVal>()) in scan()
DBugReporterVisitors.cpp275 V.getAs<nonloc::CompoundVal>()) in visitNodeInitial()
/external/clang/lib/StaticAnalyzer/Checkers/
DNonNullParamChecker.cpp101 if (Optional<nonloc::CompoundVal> CSV = in checkPreCall()
102 DV->getAs<nonloc::CompoundVal>()) { in checkPreCall()
103 nonloc::CompoundVal::iterator CSV_I = CSV->begin(); in checkPreCall()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h410 class CompoundVal : public NonLoc {
413 explicit CompoundVal(const CompoundValData* D) : NonLoc(CompoundValKind, D) {} in CompoundVal() function
426 CompoundVal() {} in CompoundVal() function
DSValBuilder.h213 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
DProgramState.h809 bool scan(nonloc::CompoundVal val);