Searched refs:svalBuilder (Results 1 - 25 of 25) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp62 SValBuilder &svalBuilder,
70 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
76 return svalBuilder.makeZeroArrayIndex();
85 SValBuilder &svalBuilder) {
100 svalBuilder.makeIntVal(extent.getValue() / constant),
101 svalBuilder);
105 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder);
130 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
132 RegionRawOffsetV2::computeOffset(state, svalBuilder, locatio
84 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, SValBuilder &svalBuilder) argument
277 getValue(SVal val, SValBuilder &svalBuilder) argument
293 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
307 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...]
H A DBoolAssignmentChecker.cpp81 SValBuilder &svalBuilder = C.getSValBuilder(); local
85 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
87 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
88 svalBuilder.getConditionType());
121 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
123 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
124 svalBuilder.getConditionType());
H A DVLASizeChecker.cpp136 SValBuilder &svalBuilder = C.getSValBuilder(); local
139 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
141 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
158 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
162 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
165 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
171 state->getRegion(VD, LC)->getExtent(svalBuilder);
174 svalBuilder.evalEQ(state, Extent, ArraySize);
H A DCStringChecker.cpp272 SValBuilder &svalBuilder = C.getSValBuilder();
273 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
274 return state->assume(svalBuilder.evalEQ(state, *val, zero));
330 SValBuilder &svalBuilder = C.getSValBuilder(); local
332 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
380 SValBuilder &svalBuilder = C.getSValBuilder();
381 ASTContext &Ctx = svalBuilder.getContext();
406 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
407 SVal Offset = svalBuilder
764 SValBuilder &svalBuilder = C.getSValBuilder(); local
824 SValBuilder &svalBuilder = C.getSValBuilder(); local
893 SValBuilder &svalBuilder = C.getSValBuilder(); local
1281 SValBuilder &svalBuilder = C.getSValBuilder(); local
1974 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DBuiltinFunctionChecker.cpp92 SValBuilder& svalBuilder = C.getSValBuilder();
93 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
95 svalBuilder.evalEQ(state, Extent, Size.castAs<DefinedOrUnknownSVal>());
H A DCastSizeChecker.cpp111 SValBuilder &svalBuilder = C.getSValBuilder();
112 SVal extent = SR->getExtent(svalBuilder);
113 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
H A DMallocChecker.cpp1173 SValBuilder &svalBuilder = C.getSValBuilder();
1174 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1382 SValBuilder &svalBuilder = C.getSValBuilder();
1395 ElementCount = svalBuilder.makeIntVal(1, true);
1405 DefinedOrUnknownSVal Extent = Region->getExtent(svalBuilder);
1407 SVal SizeInBytes = svalBuilder.evalBinOpNN(
1409 svalBuilder.makeArrayIndex(TypeSize.getQuantity()),
1410 svalBuilder.getArrayIndexType());
1411 DefinedOrUnknownSVal extentMatchesSize = svalBuilder
1529 SValBuilder &svalBuilder = C.getSValBuilder(); local
1545 SValBuilder &svalBuilder = C.getSValBuilder(); local
2414 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DStreamChecker.cpp139 SValBuilder &svalBuilder = C.getSValBuilder(); local
146 svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount())
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp29 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder,
35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count);
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
87 RightV, LeftV, RHS, svalBuilder, Count, LCtx);
89 LeftV, RightV, LHS, svalBuilder, Count, LCtx);
155 V = svalBuilder.evalCast(V, CLHSTy, LTy);
158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
170 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
173 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
178 LHSVal = svalBuilder
28 conjureOffsetSymbolOnLocation( SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx) argument
[all...]
H A DExprEngineObjC.cpp47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder,
56 SVal hasElementsV = svalBuilder.makeTruthVal(hasElements);
73 V = svalBuilder.makeLoc(Sym);
75 V = svalBuilder.makeIntVal(0, T);
137 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV,
141 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV,
46 populateObjCForDestinationSet( ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, StmtNodeBuilder &Bldr, bool hasElements) argument
H A DSVals.cpp242 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
246 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
255 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
256 return svalBuilder.makeIntVal(~getValue());
260 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
261 return svalBuilder.makeIntVal(-getValue());
H A DStore.cpp43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
63 NonLoc idx = svalBuilder.makeArrayIndex(index);
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
69 NonLoc idx = svalBuilder.makeZeroArrayIndex();
435 return svalBuilder.dispatchCast(V, castTy);
502 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
539 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
H A DRegionStore.cpp479 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy);
718 SValBuilder &svalBuilder; member in class:__anon899::ClusterAnalysis
739 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
969 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1172 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1244 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1250 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1289 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
1397 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
[all...]
H A DProgramState.cpp81 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
325 SValBuilder &svalBuilder = SM.getSValBuilder(); local
326 ASTContext &Ctx = svalBuilder.getContext();
329 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
331 indexTy = svalBuilder.getArrayIndexType();
335 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
342 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
349 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
H A DEnvironment.cpp86 SValBuilder& svalBuilder) const {
113 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue();
118 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
H A DMemRegion.cpp166 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
167 ASTContext &Ctx = svalBuilder.getContext();
171 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
176 QualType sizeTy = svalBuilder.getArrayIndexType();
177 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
180 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
185 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
190 QualType T = getDesugaredValueType(svalBuilder.getContext());
199 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
200 return nonloc::SymbolVal(svalBuilder
[all...]
H A DExprEngineCXX.cpp765 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
767 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
825 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
864 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
880 svalBuilder.getRegionManager().getCXXThisRegion(
894 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion(
H A DExprEngineCallAndReturn.cpp251 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx);
264 AllocV = svalBuilder.evalCast(
700 R = IsHeapPointer ? svalBuilder.getConjuredHeapSymbolVal(E, LCtx, Count)
701 : svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy,
H A DExprEngine.cpp215 svalBuilder(StateMgr.getSValBuilder()),
259 svalBuilder.makeZeroVal(T),
260 svalBuilder.getConditionType());
296 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
832 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
1338 svalBuilder.makeIntValWithPtrWidth(0, false));
1446 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
1484 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2463 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame());
2490 SVal V = svalBuilder
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h55 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
132 SValBuilder& getSValBuilder() { return svalBuilder; }
135 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
H A DProgramState.h477 std::unique_ptr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
499 ASTContext &getContext() { return svalBuilder->getContext(); }
500 const ASTContext &getContext() const { return svalBuilder->getContext(); }
503 return svalBuilder->getBasicValueFactory();
507 return *svalBuilder;
511 return *svalBuilder;
515 return svalBuilder->getSymbolManager();
518 return svalBuilder->getSymbolManager();
524 return svalBuilder->getRegionManager();
527 return svalBuilder
[all...]
H A DExprEngine.h137 /// svalBuilder - SValBuilder object that creates SVals from expressions.
138 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
194 SValBuilder &getSValBuilder() { return svalBuilder; }
560 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
564 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
586 return svalBuilder.evalBinOpNN(state, op, L, R, T);
591 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
597 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
H A DEnvironment.h76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
H A DSVals.h388 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
391 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
393 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
H A DMemRegion.h453 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
494 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
555 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
785 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
820 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
1024 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;

Completed in 268 milliseconds