Home
last modified time | relevance | path

Searched refs:svalBuilder (Results 1 – 18 of 18) sorted by relevance

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp72 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin() argument
78 return svalBuilder.makeZeroArrayIndex(); in computeExtentBegin()
87 SValBuilder &svalBuilder) { in getSimplifiedOffsets() argument
103 svalBuilder); in getSimplifiedOffsets()
107 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder); in getSimplifiedOffsets()
151 svalBuilder); in checkLocation()
189 svalBuilder); in checkLocation()
294 SValBuilder &svalBuilder) { in addValue() argument
318 offset = getValue(offset, svalBuilder); in computeOffset()
341 svalBuilder), in computeOffset()
[all …]
H A DCStringChecker.cpp326 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
381 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local
382 ASTContext &Ctx = svalBuilder.getContext(); in CheckLocation()
396 svalBuilder in CheckLocation()
449 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
450 ASTContext &Ctx = svalBuilder.getContext(); in CheckBufferAccess()
535 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
580 ASTContext &Ctx = svalBuilder.getContext(); in CheckOverlap()
972 ASTContext &Ctx = svalBuilder.getContext(); in IsFirstBufInBound()
1714 svalBuilder in evalStrcpyCommon()
[all …]
H A DCastSizeChecker.cpp113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
115 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder); in checkPreStmt()
116 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in checkPreStmt()
H A DBoolAssignmentChecker.cpp86 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
87 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind()
H A DMallocChecker.cpp1381 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0() local
1382 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
1728 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local
2580 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux() local
2582 DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ( in ReallocMemAux()
2583 State, arg0Val, svalBuilder.makeNullWithType(arg0Expr->getType())); in ReallocMemAux()
2597 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
2598 svalBuilder.makeIntValWithWidth( in ReallocMemAux()
2599 svalBuilder.getContext().getSizeType(), 0)); in ReallocMemAux()
2678 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
[all …]
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp155 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
203 SVal V = svalBuilder.getBlockPointer(BD, T, in VisitBlockExpr()
272 SVal V = svalBuilder.evalCast(OrigV, T, ExTy); in handleLValueBitCast()
275 V = svalBuilder.evalMinus(V.castAs<NonLoc>()); in handleLValueBitCast()
421 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
536 SVal result = svalBuilder.conjureSymbolVal( in VisitCast()
760 SVal V = svalBuilder.makeCompoundVal(T, vals); in VisitInitListExpr()
864 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
1117 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()
1119 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
[all …]
H A DRegionStore.cpp476 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
704 SValBuilder &svalBuilder; member in __anonb10bfded0511::ClusterAnalysis
1840 return svalBuilder.makeZeroVal(ElemT); in getSValFromInitListExpr()
1847 return svalBuilder.getConstantVal(E); in getSValFromInitListExpr()
1893 return svalBuilder.makeIntVal(Code, ElemT); in getSValFromStringLiteral()
2037 return svalBuilder.makeZeroVal(Ty); in getBindingForDerivedDefaultValue()
2244 return svalBuilder.makeZeroVal(T); in getBindingForVar()
2420 V = svalBuilder.makeNullWithType(T); in setImplicitDefaultValue()
2422 V = svalBuilder.makeZeroVal(T); in setImplicitDefaultValue()
2426 V = svalBuilder.makeZeroVal(Ctx.IntTy); in setImplicitDefaultValue()
[all …]
H A DExprEngineObjC.cpp47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet() argument
71 V = svalBuilder.makeLoc(Sym); in populateObjCForDestinationSet()
73 V = svalBuilder.makeIntVal(0, T); in populateObjCForDestinationSet()
134 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV, in VisitObjCForCollectionStmt()
138 populateObjCForDestinationSet(dstLocation, svalBuilder, S, elem, elementV, in VisitObjCForCollectionStmt()
H A DStore.cpp43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
476 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
513 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp78 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), in ProgramStateManager()
327 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBoundDual() local
328 ASTContext &Ctx = svalBuilder.getContext(); in assumeInBoundDual()
331 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
333 indexTy = svalBuilder.getArrayIndexType(); in assumeInBoundDual()
337 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBoundDual()
344 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
351 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
H A DExprEngineCallAndReturn.cpp290 auto ThisVal = svalBuilder.getCXXThis(DtorDecl->getParent(), calleeCtx); in processCallExit()
319 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx); in processCallExit()
334 AllocV = svalBuilder.evalCast( in processCallExit()
801 R = svalBuilder.getConjuredHeapSymbolVal(E, LCtx, Count); in bindReturnValue()
809 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true); in bindReturnValue()
812 SVal ElementSize = getElementExtent(CNE->getAllocatedType(), svalBuilder); in bindReturnValue()
815 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
816 svalBuilder.getArrayIndexType()); in bindReturnValue()
824 svalBuilder); in bindReturnValue()
826 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
[all …]
H A DEnvironment.cpp87 SValBuilder& svalBuilder) const { in getSVal()
121 return *svalBuilder.getConstantVal(cast<Expr>(S)); in getSVal()
126 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
H A DExprEngineCXX.cpp188 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
316 Base = State->getLValue(E->getType(), svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
653 State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx)); in handleConstructor()
1018 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
1020 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
1066 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
1067 svalBuilder.getContext()); in VisitCXXNewExpr()
1100 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
1153 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
1169 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()
[all …]
H A DExprEngine.cpp270 svalBuilder.makeZeroVal(T), in getInitialState()
271 svalBuilder.getConditionType()); in getInitialState()
307 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
1847 svalBuilder.makeIntValWithWidth(getContext().VoidPtrTy, 0)); in Visit()
2001 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
3066 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame()); in VisitCommonDeclRefExpr()
3093 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
3098 SVal V = svalBuilder.getFunctionPointer(FD); in VisitCommonDeclRefExpr()
3352 SVal MDVal = svalBuilder.getFunctionPointer(MD); in VisitMemberExpr()
3740 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
[all …]
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h524 std::unique_ptr<SValBuilder> svalBuilder; variable
546 ASTContext &getContext() { return svalBuilder->getContext(); } in getContext()
547 const ASTContext &getContext() const { return svalBuilder->getContext(); } in getContext()
550 return svalBuilder->getBasicValueFactory(); in getBasicVals()
554 return *svalBuilder; in getSValBuilder()
558 return *svalBuilder; in getSValBuilder()
562 return svalBuilder->getSymbolManager(); in getSymbolManager()
565 return svalBuilder->getSymbolManager(); in getSymbolManager()
571 return svalBuilder->getRegionManager(); in getRegionManager()
574 return svalBuilder->getRegionManager(); in getRegionManager()
[all …]
H A DStore.h55 SValBuilder &svalBuilder;
133 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
136 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
H A DEnvironment.h76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
H A DExprEngine.h160 SValBuilder &svalBuilder; variable
216 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder()
618 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()