| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
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::LocAsInteger>(this))
[all...] |
| SimpleSValBuilder.cpp | 24 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy);
33 virtual SVal evalMinus(NonLoc val);
34 virtual SVal evalComplement(NonLoc val);
36 NonLoc lhs, NonLoc rhs, QualType resultTy);
40 Loc lhs, NonLoc rhs, QualType resultTy);
62 assert(isa<Loc>(&Val) || isa<NonLoc>(&Val));
64 : evalCastFromNonLoc(cast<NonLoc>(Val), CastTy);
67 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) {
71 if (nonloc::LocAsInteger *LI = dyn_cast<nonloc::LocAsInteger>(&val))
[all...] |
| SValBuilder.cpp | 43 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
50 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
53 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs,
58 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
61 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand,
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
81 if (nonloc::ConcreteInt* CI = dyn_cast<nonloc::ConcreteInt>(&val))
[all...] |
| SimpleConstraintManager.cpp | 26 nonloc::SymbolVal *SymVal = dyn_cast<nonloc::SymbolVal>(&X);
60 if (isa<NonLoc>(Cond))
61 return assume(state, cast<NonLoc>(Cond), Assumption);
115 NonLoc cond,
150 NonLoc Cond,
166 llvm_unreachable("'Assume' not implemented for this NonLoc");
168 case nonloc::SymbolValKind: {
169 nonloc::SymbolVal& SV = cast<nonloc::SymbolVal>(Cond)
[all...] |
| Store.cpp | 34 NonLoc idx = svalBuilder.makeArrayIndex(index);
55 NonLoc idx = svalBuilder.makeZeroArrayIndex();
277 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset,
293 Offset = cast<NonLoc>(svalBuilder.convertToArrayIndex(Offset));
311 if (!isa<nonloc::ConcreteInt>(BaseIdx))
314 const llvm::APSInt& BaseIdxI = cast<nonloc::ConcreteInt>(BaseIdx).getValue();
319 if (!isa<nonloc::ConcreteInt>(Offset)) {
328 const llvm::APSInt& OffI = cast<nonloc::ConcreteInt>(Offset).getValue();
332 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
|
| RegionStore.cpp | 382 StoreRef CopyLazyBindings(nonloc::LazyCompoundVal V, Store store,
643 if (const nonloc::LazyCompoundVal *LCS =
644 dyn_cast<nonloc::LazyCompoundVal>(&V)) {
867 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();
[all...] |
| 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));
764 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx,
909 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&index)) {
945 if (nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&index)) {
998 if (const nonloc::ConcreteInt *CI=dyn_cast<nonloc::ConcreteInt>(&Index))
[all...] |
| ProgramState.cpp | 258 return nonloc::ConcreteInt(NewV);
316 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
320 cast<NonLoc>(Idx), Min, indexTy);
326 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound),
334 cast<NonLoc>(newIdx), cast<NonLoc>(newBound),
490 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
491 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I)
533 if (nonloc::LocAsInteger *X = dyn_cast<nonloc::LocAsInteger>(&val)
[all...] |
| BugReporterVisitors.cpp | 180 else if (isa<nonloc::ConcreteInt>(V)) {
181 os << "initialized to " << cast<nonloc::ConcreteInt>(V).getValue();
213 else if (isa<nonloc::ConcreteInt>(V)) {
214 os << "The value " << cast<nonloc::ConcreteInt>(V).getValue()
422 if (isa<loc::ConcreteInt>(V) || isa<nonloc::ConcreteInt>(V)) {
|
| ExprEngineCallAndReturn.cpp | 327 if (nonloc::LocAsInteger *Wrapped = dyn_cast<nonloc::LocAsInteger>(&V))
|
| ExprEngine.cpp | [all...] |
| ExprEngineC.cpp | 414 assert(isa<nonloc::LazyCompoundVal>(InitVal));
692 state = state->BindExpr(U, LCtx, evalComplement(cast<NonLoc>(V)));
696 state = state->BindExpr(U, LCtx, evalMinus(cast<NonLoc>(V)));
710 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
711 Result = evalBinOp(state, BO_EQ, cast<NonLoc>(V), X,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
86 virtual SVal evalMinus(NonLoc val) = 0;
88 virtual SVal evalComplement(NonLoc val) = 0;
93 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
104 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
115 NonLoc lhs, NonLoc rhs, QualType resultTy);
201 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) {
202 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals))
[all...] |
| SVals.h | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
51 NonLocKind = 3 // for subclass NonLoc (an R-value that's not
223 class NonLoc : public DefinedSVal {
225 explicit NonLoc(unsigned SubKind, const void *d)
259 // Subclasses of NonLoc.
262 namespace nonloc { namespace in namespace:clang::ento
268 class SymbolVal : public NonLoc {
270 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {}
285 static inline bool classof(const NonLoc* V) {
291 class ConcreteInt : public NonLoc {
[all...] |
| MemRegion.h | 933 NonLoc Index;
935 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
938 assert((!isa<nonloc::ConcreteInt>(&Idx) ||
939 cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) &&
948 NonLoc getIndex() const { return Index; }
[all...] |
| ProgramState.h | 654 if (NonLoc *N = dyn_cast<NonLoc>(&Idx))
781 bool scan(nonloc::CompoundVal val);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AttrNonNullChecker.cpp | 73 if (nonloc::CompoundVal *CSV = dyn_cast<nonloc::CompoundVal>(DV)) {
74 nonloc::CompoundVal::iterator CSV_I = CSV->begin();
|
| CallAndMessageChecker.cpp | 124 if (const nonloc::LazyCompoundVal *LV =
125 dyn_cast<nonloc::LazyCompoundVal>(&V)) {
|
| BasicObjCFoundationChecks.cpp | 271 nonloc::ConcreteInt* V = dyn_cast<nonloc::ConcreteInt>(&TheTypeVal);
|
| MallocChecker.cpp | 590 if (nonloc::ConcreteInt *IntVal = dyn_cast<nonloc::ConcreteInt>(&V))
[all...] |
| StreamChecker.cpp | 274 const nonloc::ConcreteInt *CI = dyn_cast<nonloc::ConcreteInt>(&Whence);
|
| MacOSKeychainAPIChecker.cpp | 252 nonloc::SymbolVal(RetSym));
|
| CStringChecker.cpp | 187 NonLoc left,
188 NonLoc right) const;
373 NonLoc *Length = dyn_cast<NonLoc>(&LengthVal);
378 NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy));
379 NonLoc LastOffset = cast<NonLoc>(svalBuilder.evalBinOpNN(state, BO_Sub,
491 NonLoc *Length = dyn_cast<NonLoc>(&LengthVal)
[all...] |
