| /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)) {
|