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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp67 SValBuilder& svalBuilder = C.getSValBuilder(); local
68 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
70 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.cpp132 SValBuilder &svalBuilder = C.getSValBuilder(); local
135 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
139 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
142 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
148 state->getRegion(VD, LC)->getExtent(svalBuilder);
151 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(), *NV,
116 svalBuilder.getConditionType());
141 rawOffset.getRegion()->getExtent(svalBuilder);
146 = svalBuilder
236 getValue(SVal val, SValBuilder &svalBuilder) argument
252 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
266 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...]
H A DStreamChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder(); local
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
H A DCStringChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder();
214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
215 return state->assume(svalBuilder.evalEQ(state, *val, zero));
284 SValBuilder &svalBuilder = C.getSValBuilder(); local
286 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
348 SValBuilder &svalBuilder = C.getSValBuilder();
349 ASTContext &Ctx = svalBuilder.getContext();
374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
375 NonLoc LastOffset = svalBuilder
673 SValBuilder &svalBuilder = C.getSValBuilder(); local
745 SValBuilder &svalBuilder = C.getSValBuilder(); local
1069 SValBuilder &svalBuilder = C.getSValBuilder(); local
1722 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DMallocChecker.cpp866 SValBuilder &svalBuilder = C.getSValBuilder(); local
868 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
886 SValBuilder &svalBuilder = C.getSValBuilder(); local
887 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
889 svalBuilder.evalEQ(State, Extent, *DefinedSize);
1587 SValBuilder &svalBuilder = C.getSValBuilder(); local
1590 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
1605 svalBuilder.evalEQ(state, Arg1Val,
1606 svalBuilder
1680 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
209 return svalBuilder.makeIntVal(~getValue());
213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
214 return svalBuilder.makeIntVal(-getValue());
H A DProgramState.cpp76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
315 SValBuilder &svalBuilder = SM.getSValBuilder(); local
316 ASTContext &Ctx = svalBuilder.getContext();
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
H A DRegionStore.cpp654 SValBuilder &svalBuilder; member in class:__anon18282::ClusterAnalysis
685 svalBuilder(StateMgr.getSValBuilder()),
916 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1051 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1072 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1081 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1087 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1103 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
1211 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
1212 const llvm::APSInt *SizeInt = svalBuilder
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
131 SValBuilder &getSValBuilder() { return svalBuilder; }
450 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
454 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
461 return svalBuilder.evalBinOpNN(state, op, L, R, T);
466 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
472 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
H A DStore.h42 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
H A DProgramState.h457 std::unique_ptr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
479 ASTContext &getContext() { return svalBuilder->getContext(); }
480 const ASTContext &getContext() const { return svalBuilder->getContext(); }
483 return svalBuilder->getBasicValueFactory();
487 return *svalBuilder;
491 return svalBuilder->getSymbolManager();
494 return svalBuilder->getSymbolManager();
500 return svalBuilder->getRegionManager();
503 return svalBuilder->getRegionManager();
695 *getStateManager().svalBuilder);
[all...]

Completed in 178 milliseconds