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

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp63 SValBuilder &svalBuilder,
71 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
77 return svalBuilder.makeZeroArrayIndex();
86 SValBuilder &svalBuilder) {
101 svalBuilder.makeIntVal(extent.getValue() / constant),
102 svalBuilder);
106 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder);
131 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
133 RegionRawOffsetV2::computeOffset(state, svalBuilder, locatio
85 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 DCStringChecker.cpp289 SValBuilder &svalBuilder = C.getSValBuilder();
290 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
291 return state->assume(svalBuilder.evalEQ(state, *val, zero));
384 SValBuilder &svalBuilder = C.getSValBuilder();
385 ASTContext &Ctx = svalBuilder.getContext();
409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
410 SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
417 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());
421 svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy);
465 SValBuilder &svalBuilder
751 SValBuilder &svalBuilder = C.getSValBuilder(); local
811 SValBuilder &svalBuilder = C.getSValBuilder(); local
881 SValBuilder &svalBuilder = C.getSValBuilder(); local
1978 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DCastSizeChecker.cpp113 SValBuilder &svalBuilder = C.getSValBuilder();
115 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder);
116 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size);
H A DBoolAssignmentChecker.cpp81 SValBuilder &svalBuilder = C.getSValBuilder(); local
82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
H A DMallocChecker.cpp1184 SValBuilder &svalBuilder = C.getSValBuilder(); local
1185 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1531 SValBuilder &svalBuilder = C.getSValBuilder(); local
1533 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1542 Size.castAs<DefinedOrUnknownSVal>(), svalBuilder);
2376 SValBuilder &svalBuilder = C.getSValBuilder(); local
2379 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
2393 svalBuilder
[all...]
/netbsd-current/external/apache2/llvm/dist/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,
71 V = svalBuilder.makeLoc(Sym);
73 V = svalBuilder.makeIntVal(0, T);
134 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV,
138 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.cpp220 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
224 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
233 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
234 return svalBuilder.makeIntVal(~getValue());
238 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
239 return svalBuilder.makeIntVal(-getValue());
H A DRegionStore.cpp479 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy);
709 SValBuilder &svalBuilder; member in class:__anon1111::ClusterAnalysis
730 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
960 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1142 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1163 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1235 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1241 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1280 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
1399 NonLoc ZeroIdx = svalBuilder
[all...]
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();
461 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
498 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
H A DProgramState.cpp81 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
332 SValBuilder &svalBuilder = SM.getSValBuilder(); local
333 ASTContext &Ctx = svalBuilder.getContext();
336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
338 indexTy = svalBuilder.getArrayIndexType();
342 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
349 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
356 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
H A DEnvironment.cpp87 SValBuilder& svalBuilder) const {
121 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue();
126 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
H A DExprEngineCallAndReturn.cpp254 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx);
267 AllocV = svalBuilder.evalCast(
695 R = svalBuilder.getConjuredHeapSymbolVal(E, LCtx, Count);
703 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true);
706 SVal ElementSize = getElementExtent(CNE->getAllocatedType(), svalBuilder);
709 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize,
710 svalBuilder.getArrayIndexType());
713 svalBuilder);
715 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
H A DExprEngineCXX.cpp860 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
862 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
920 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
964 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
980 svalBuilder.getRegionManager().getCXXThisRegion(
994 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion(
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));
1344 svalBuilder.makeIntValWithPtrWidth(0, false));
1454 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
1492 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2557 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame());
2584 SVal V = svalBuilder
[all...]
/netbsd-current/external/apache2/llvm/dist/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.h484 std::unique_ptr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
506 ASTContext &getContext() { return svalBuilder->getContext(); }
507 const ASTContext &getContext() const { return svalBuilder->getContext(); }
510 return svalBuilder->getBasicValueFactory();
514 return *svalBuilder;
518 return *svalBuilder;
522 return svalBuilder->getSymbolManager();
525 return svalBuilder->getSymbolManager();
531 return svalBuilder->getRegionManager();
534 return svalBuilder
[all...]
H A DEnvironment.h76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
H A DExprEngine.h161 /// svalBuilder - SValBuilder object that creates SVals from expressions.
162 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
218 SValBuilder &getSValBuilder() { return svalBuilder; }
594 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
598 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
620 return svalBuilder.evalBinOpNN(state, op, L, R, T);
625 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
631 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
H A DSVals.h382 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
385 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
387 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;

Completed in 196 milliseconds