Searched defs:svalBuilder (Results 1 - 15 of 15) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp66 SValBuilder& svalBuilder = C.getSValBuilder(); local
67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
69 svalBuilder.evalEQ(state, Extent, Size);
H A DBoolAssignmentChecker.cpp80 SValBuilder &svalBuilder = C.getSValBuilder(); local
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
87 svalBuilder.getConditionType());
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
123 svalBuilder.getConditionType());
H A DVLASizeChecker.cpp130 SValBuilder &svalBuilder = C.getSValBuilder(); local
132 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy,
137 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
140 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
146 state->getRegion(VD, LC)->getExtent(svalBuilder);
149 svalBuilder.evalEQ(state, Extent, ArraySize);
H A DArrayBoundCheckerV2.cpp60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(),
117 svalBuilder.getConditionType());
142 rawOffset.getRegion()->getExtent(svalBuilder);
147 = svalBuilder
237 getValue(SVal val, SValBuilder &svalBuilder) argument
253 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
267 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...]
H A DOSAtomicChecker.cpp155 SValBuilder &svalBuilder = Eng.getSValBuilder(); local
159 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal);
172 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
H A DStreamChecker.cpp222 SValBuilder &svalBuilder = C.getSValBuilder(); local
225 cast<DefinedSVal>(svalBuilder.conjureSymbolVal(0, CE, LCtx,
H A DCStringChecker.cpp218 SValBuilder &svalBuilder = C.getSValBuilder();
219 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
220 return state->assume(svalBuilder.evalEQ(state, *val, zero));
288 SValBuilder &svalBuilder = C.getSValBuilder(); local
290 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
351 SValBuilder &svalBuilder = C.getSValBuilder();
352 ASTContext &Ctx = svalBuilder.getContext();
377 NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy));
378 NonLoc LastOffset = cast<NonLoc>(svalBuilder
676 SValBuilder &svalBuilder = C.getSValBuilder(); local
735 SValBuilder &svalBuilder = C.getSValBuilder(); local
1039 SValBuilder &svalBuilder = C.getSValBuilder(); local
1689 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DMallocChecker.cpp542 SValBuilder &svalBuilder = C.getSValBuilder(); local
545 cast<DefinedSVal>(svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count));
561 SValBuilder &svalBuilder = C.getSValBuilder(); local
562 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
565 svalBuilder.evalEQ(state, Extent, DefinedSize);
858 SValBuilder &svalBuilder = C.getSValBuilder(); local
861 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
876 svalBuilder.evalEQ(state, Arg1Val,
877 svalBuilder
945 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
191 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
200 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
201 return svalBuilder.makeIntVal(~getValue());
205 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
206 return svalBuilder.makeIntVal(-getValue());
H A DEnvironment.cpp33 SValBuilder& svalBuilder,
53 return svalBuilder.makeLoc(cast<AddrLabelExpr>(E));
65 return svalBuilder.makeIntVal(C->getValue(), C->getType());
72 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E));
77 return svalBuilder.makeZeroVal(Ty);
85 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E));
88 return svalBuilder.makeBoolVal(cast<ObjCBoolLiteralExpr>(E));
92 return svalBuilder.makeNull();
106 MemRegionManager &MRMgr = svalBuilder.getRegionManager();
108 return svalBuilder
32 getSVal(const EnvironmentEntry &Entry, SValBuilder& svalBuilder, bool useOnlyDirectBindings) const argument
[all...]
H A DProgramState.cpp76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
299 SValBuilder &svalBuilder = SM.getSValBuilder(); local
300 ASTContext &Ctx = svalBuilder.getContext();
303 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
310 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
317 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound),
324 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
H A DRegionStore.cpp449 SValBuilder &svalBuilder; member in class:__anon3964::ClusterAnalysis
463 svalBuilder(StateMgr.getSValBuilder()),
561 SVal Extent = R->getExtent(svalBuilder);
731 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
746 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
755 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
771 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
786 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
852 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
853 const llvm::APSInt *SizeInt = svalBuilder
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h63 /// svalBuilder - SValBuilder object that creates SVals from expressions.
64 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
128 SValBuilder &getSValBuilder() { return svalBuilder; }
413 return X.isValid() ? svalBuilder.evalMinus(cast<NonLoc>(X)) : X;
417 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X;
424 return svalBuilder.evalBinOpNN(state, op, L, R, T);
429 return R.isValid() ? svalBuilder.evalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R;
434 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
H A DStore.h39 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
100 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
H A DProgramState.h434 OwningPtr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
456 ASTContext &getContext() { return svalBuilder->getContext(); }
457 const ASTContext &getContext() const { return svalBuilder->getContext(); }
460 return svalBuilder->getBasicValueFactory();
463 return svalBuilder->getBasicValueFactory();
467 return *svalBuilder;
471 return svalBuilder->getSymbolManager();
474 return svalBuilder->getSymbolManager();
480 return svalBuilder->getRegionManager();
483 return svalBuilder
[all...]

Completed in 137 milliseconds