/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SVals.cpp | 32 if (const nonloc::SymbolVal* SV = dyn_cast<nonloc::SymbolVal>(this)) { 67 if (const nonloc::LocAsInteger *X = dyn_cast<nonloc::LocAsInteger>(this)) 103 if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this)) 112 if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this)) 129 if (const nonloc::LocAsInteger *X = dyn_cast<nonloc [all...] |
H A D | SValBuilder.cpp | 51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); 59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); 66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); 73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); 81 if (nonloc::ConcreteInt* CI = dyn_cast<nonloc::ConcreteInt>(&val)) { 90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ 106 return nonloc::SymbolVal(sym); 130 return nonloc::SymbolVal(sym); 146 return nonloc [all...] |
H A D | SimpleConstraintManager.cpp | 27 nonloc::SymbolVal *SymVal = dyn_cast<nonloc::SymbolVal>(&X); 172 case nonloc::SymbolValKind: { 173 nonloc::SymbolVal& SV = cast<nonloc::SymbolVal>(Cond); 204 case nonloc::ConcreteIntKind: { 205 bool b = cast<nonloc::ConcreteInt>(Cond).getValue() != 0; 210 case nonloc::LocAsIntegerKind: 211 return assumeAux(state, cast<nonloc::LocAsInteger>(Cond).getLoc(),
|
H A D | SimpleSValBuilder.cpp | 72 if (nonloc::LocAsInteger *LI = dyn_cast<nonloc::LocAsInteger>(&val)) { 101 if (!isa<nonloc::ConcreteInt>(val)) 109 llvm::APSInt i = cast<nonloc::ConcreteInt>(val).getValue(); 157 case nonloc::ConcreteIntKind: 158 return cast<nonloc::ConcreteInt>(val).evalMinus(*this); 166 case nonloc::ConcreteIntKind: 167 return cast<nonloc::ConcreteInt>(X).evalComplement(*this); 260 return nonloc::ConcreteInt(Result); 269 return evalCastFromNonLoc(nonloc [all...] |
H A D | ConstraintManager.cpp | 39 : nonloc::SymbolVal(Sym);
|
H A D | Store.cpp | 334 if (!isa<nonloc::ConcreteInt>(BaseIdx)) 337 const llvm::APSInt& BaseIdxI = cast<nonloc::ConcreteInt>(BaseIdx).getValue(); 342 if (!isa<nonloc::ConcreteInt>(Offset)) { 351 const llvm::APSInt& OffI = cast<nonloc::ConcreteInt>(Offset).getValue(); 355 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
|
H A D | RegionStore.cpp | 562 if (nonloc::ConcreteInt *ExtentCI = dyn_cast<nonloc::ConcreteInt>(&Extent)) { 657 if (const nonloc::LazyCompoundVal *LCS = 658 dyn_cast<nonloc::LazyCompoundVal>(&V)) { 1152 if (const nonloc::LazyCompoundVal *V = 1153 dyn_cast<nonloc::LazyCompoundVal>(OV.getPointer())) 1222 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&Idx)) { 1309 if (isa<nonloc::LazyCompoundVal>(val)) 1444 const nonloc [all...] |
H A D | ProgramState.cpp | 249 return nonloc::ConcreteInt(NewV); 307 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); 479 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) { 480 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I) 522 if (nonloc::LazyCompoundVal *X = dyn_cast<nonloc::LazyCompoundVal>(&val)) 525 if (nonloc::LocAsInteger *X = dyn_cast<nonloc::LocAsInteger>(&val)) 534 if (nonloc::CompoundVal *X = dyn_cast<nonloc [all...] |
H A D | MemRegion.cpp | 187 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 212 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 216 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 1043 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&index)) { 1149 if (const nonloc::ConcreteInt *CI=dyn_cast<nonloc::ConcreteInt>(&Index)) {
|
H A D | BugReporterVisitors.cpp | 337 else if (isa<nonloc::ConcreteInt>(V)) { 338 os << "initialized to " << cast<nonloc::ConcreteInt>(V).getValue(); 373 else if (isa<nonloc::ConcreteInt>(V)) { 374 os << "The value " << cast<nonloc::ConcreteInt>(V).getValue() 602 if (isa<loc::ConcreteInt>(V) || isa<nonloc::ConcreteInt>(V)) {
|
H A D | ExprEngine.cpp | 1333 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1)); 1344 if (isa<nonloc::ConcreteInt>(CondV)) 1509 if (isa<nonloc::LazyCompoundVal>(baseExprVal) || 1510 isa<nonloc::CompoundVal>(baseExprVal) || 1514 isa<nonloc::SymbolVal>(baseExprVal)) { 1765 nonloc::SymbolVal *SEV = dyn_cast<nonloc::SymbolVal>(&V);
|
H A D | CallEvent.cpp | 149 if (nonloc::LocAsInteger *Wrapped = dyn_cast<nonloc::LocAsInteger>(&V))
|
H A D | ExprEngineC.cpp | 469 assert(isa<nonloc::LazyCompoundVal>(InitVal)); 806 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 206 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); 211 return nonloc::LazyCompoundVal( 216 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); 220 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); 225 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { 226 return nonloc::ConcreteInt( 231 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { 235 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean); 237 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { 238 return nonloc [all...] |
H A D | SVals.h | 258 namespace nonloc { namespace in namespace:clang::ento 398 } // end namespace ento::nonloc
|
H A D | MemRegion.h | 983 assert((!isa<nonloc::ConcreteInt>(&Idx) || 984 cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) &&
|
H A D | ProgramState.h | 788 bool scan(nonloc::CompoundVal val);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | AttrNonNullChecker.cpp | 71 if (nonloc::CompoundVal *CSV = dyn_cast<nonloc::CompoundVal>(DV)) { 72 nonloc::CompoundVal::iterator CSV_I = CSV->begin();
|
H A D | CallAndMessageChecker.cpp | 134 if (const nonloc::LazyCompoundVal *LV = 135 dyn_cast<nonloc::LazyCompoundVal>(&V)) {
|
H A D | BasicObjCFoundationChecks.cpp | 292 nonloc::ConcreteInt* V = dyn_cast<nonloc::ConcreteInt>(&TheTypeVal);
|
H A D | StreamChecker.cpp | 274 const nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&Whence);
|
H A D | MallocChecker.cpp | 719 if (nonloc::ConcreteInt *IntVal = dyn_cast<nonloc::ConcreteInt>(&V))
|
H A D | MacOSKeychainAPIChecker.cpp | 252 nonloc::SymbolVal(RetSym));
|
H A D | CStringChecker.cpp | 570 if (isa<nonloc::ConcreteInt>(right)) {
|