| /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...] |
| ExprEngine.h | 394 return X.isValid() ? svalBuilder.evalMinus(cast<NonLoc>(X)) : X;
398 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X;
404 NonLoc L, NonLoc R, QualType T) {
409 NonLoc L, SVal R, QualType T) {
410 return R.isValid() ? svalBuilder.evalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R;
|
| 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...] |
| Store.h | 108 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
|
| ProgramState.h | 654 if (NonLoc *N = dyn_cast<NonLoc>(&Idx))
781 bool scan(nonloc::CompoundVal val);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 56 NonLoc getByteOffset() const { return cast<NonLoc>(byteOffset); }
113 if (isa<NonLoc>(extentBegin)) {
116 cast<NonLoc>(extentBegin),
119 NonLoc *lowerBoundToCheck = dyn_cast<NonLoc>(&lowerBound);
143 if (!isa<NonLoc>(extentVal))
148 cast<NonLoc>(extentVal),
151 NonLoc *upperboundToCheck = dyn_cast<NonLoc>(&upperbound)
[all...] |
| 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...] |
| VLASizeChecker.cpp | 133 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy,
142 cast<NonLoc>(EleSizeVal), SizeTy);
|
| UnixAPIChecker.cpp | 104 if (!isa<NonLoc>(V)) {
109 NonLoc oflags = cast<NonLoc>(V);
110 NonLoc ocreateFlag =
111 cast<NonLoc>(C.getSValBuilder().makeIntVal(Val_O_CREAT.getValue(),
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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.h | 39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
89 NonLoc Cond,
|
| 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...] |
| 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 +
|
| 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...] |
| 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...] |
| 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,
|
| 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...] |
| ExprEngine.cpp | [all...] |
