Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp153 nonloc::CompoundVal::iterator nonloc::CompoundVal::begin() const { in begin()
157 nonloc::CompoundVal::iterator nonloc::CompoundVal::end() const { in end()
273 const nonloc::CompoundVal& C = *cast<nonloc::CompoundVal>(this); in dumpToStream()
276 for (nonloc::CompoundVal::iterator I=C.begin(), E=C.end(); I!=E; ++I) { in dumpToStream()
DProgramState.cpp490 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { in scan()
491 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I) in scan()
542 if (nonloc::CompoundVal *X = dyn_cast<nonloc::CompoundVal>(&val)) in scan()
DRegionStore.cpp1581 nonloc::CompoundVal& CV = cast<nonloc::CompoundVal>(Init); in BindArray()
1582 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in BindArray()
1632 if (V.isUnknown() || !isa<nonloc::CompoundVal>(V)) { in BindStruct()
1637 nonloc::CompoundVal& CV = cast<nonloc::CompoundVal>(V); in BindStruct()
1638 nonloc::CompoundVal::iterator VI = CV.begin(), VE = CV.end(); in BindStruct()
DExprEngine.cpp1526 isa<nonloc::CompoundVal>(baseExprVal) || in VisitMemberExpr()
/external/clang/lib/StaticAnalyzer/Checkers/
DAttrNonNullChecker.cpp73 if (nonloc::CompoundVal *CSV = dyn_cast<nonloc::CompoundVal>(DV)) { in checkPreStmt()
74 nonloc::CompoundVal::iterator CSV_I = CSV->begin(); in checkPreStmt()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h352 class CompoundVal : public NonLoc {
355 explicit CompoundVal(const CompoundValData* D) : NonLoc(CompoundValKind, D) {} in CompoundVal() function
DSValBuilder.h202 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
DProgramState.h781 bool scan(nonloc::CompoundVal val);