/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ArrayBoundCheckerV2.cpp | 62 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 D | BoolAssignmentChecker.cpp | 81 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 D | VLASizeChecker.cpp | 136 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 D | CStringChecker.cpp | 272 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 D | BuiltinFunctionChecker.cpp | 92 SValBuilder& svalBuilder = C.getSValBuilder(); 93 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 95 svalBuilder.evalEQ(state, Extent, Size.castAs<DefinedOrUnknownSVal>());
|
H A D | CastSizeChecker.cpp | 111 SValBuilder &svalBuilder = C.getSValBuilder(); 112 SVal extent = SR->getExtent(svalBuilder); 113 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
H A D | MallocChecker.cpp | 1173 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 D | StreamChecker.cpp | 139 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 D | ExprEngineC.cpp | 29 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 D | ExprEngineObjC.cpp | 47 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 D | SVals.cpp | 242 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 D | Store.cpp | 43 : 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 D | RegionStore.cpp | 479 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 D | ProgramState.cpp | 81 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 D | Environment.cpp | 86 SValBuilder& svalBuilder) const { 113 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue(); 118 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
H A D | MemRegion.cpp | 166 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 D | ExprEngineCXX.cpp | 765 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 D | ExprEngineCallAndReturn.cpp | 251 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 D | ExprEngine.cpp | 215 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 D | Store.h | 55 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager 132 SValBuilder& getSValBuilder() { return svalBuilder; } 135 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
H A D | ProgramState.h | 477 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 D | ExprEngine.h | 137 /// 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 D | Environment.h | 76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
H A D | SVals.h | 388 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 391 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 393 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
|
H A D | MemRegion.h | 453 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;
|