/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
H A D | DynamicExtent.cpp | 29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent() argument 35 return MR->getMemRegionManager().getStaticSize(MR, SVB); in getDynamicExtent() 38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent() argument 39 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(), in getElementExtent() 40 SVB.getArrayIndexType()); in getElementExtent() 45 SValBuilder &SVB, in getDynamicElementCount() argument 50 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, SVB); in getDynamicElementCount() 51 SVal ElementSize = getElementExtent(ElementTy, SVB); in getDynamicElementCount() 54 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType()); in getDynamicElementCount() 83 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent() argument
|
H A D | SimpleSValBuilder.cpp | 296 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked() 356 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local 373 if (ResultTy != SVB.getConditionType()) in tryRearrange() 721 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion() 723 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion() 1213 SValBuilder &SVB; in simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier 1262 return SVB.makeSymbolVal(S); in simplifySValOnce() 1286 LHS = SVB.makeLoc(Sym); in simplifySValOnce() 1288 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySValOnce() 1290 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce() [all …]
|
H A D | CallEvent.cpp | 414 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument() 463 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() 491 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings() 796 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local 799 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents() 804 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents() 818 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents() 916 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents() 1368 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() 1410 Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx); in getCaller() [all …]
|
H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local 37 T = SVB.getContext().VoidPtrTy; in assumeInternal() 39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
|
H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local 237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
|
H A D | ExprEngineCXX.cpp | 101 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local 102 ASTContext &Ctx = SVB.getContext(); in makeElementRegion() 109 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion() 125 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local 126 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() 127 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction() 146 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in computeObjectUnderConstruction() 155 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction() 189 MR, SVB.getContext()); in computeObjectUnderConstruction() 245 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
|
H A D | MemRegion.cpp | 737 SValBuilder &SVB) const { in getStaticSize() 739 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize() 746 return SVB.makeIntVal( in getStaticSize() 748 SVB.getArrayIndexType()); in getStaticSize() 766 return getElementExtent(Ty, SVB); in getStaticSize() 774 const DefinedOrUnknownSVal Size = getElementExtent(Ty, SVB); in getStaticSize() 785 &SVB](QualType Ty) -> bool { in getStaticSize() 796 const AnalyzerOptions &Opts = SVB.getAnalyzerOptions(); in getStaticSize()
|
H A D | RegionStore.cpp | 853 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument 865 SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB); in collectSubRegionBindings() 871 Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth(); in collectSubRegionBindings() 874 Length = FR->getDecl()->getBitWidthValue(SVB.getContext()); in collectSubRegionBindings() 925 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings() argument 927 collectSubRegionBindings(Bindings, SVB, Cluster, Top, in collectSubRegionBindings() 1542 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding() argument 1559 if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy)) in getExistingLazyBinding() 1567 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R, in getExistingLazyBinding() 1898 const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) { in getDerivedSymbolForBinding() argument [all …]
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ErrnoTesterChecker.cpp | 106 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local 109 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError() 113 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError() 123 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local 126 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange() 130 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange() 131 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange() 145 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local 148 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState() 152 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState() [all …]
|
H A D | VLASizeChecker.cpp | 97 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local 100 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA() 105 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA() 109 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA() 116 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA() 118 SVal Mul = SVB.evalBinOpNN(State, BO_Mul, ArrSize, IndexLength, SizeTy); in checkVLA() 190 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local 193 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize() 195 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize() 257 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local [all …]
|
H A D | Iterator.cpp | 232 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local 251 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition() 267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local 268 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow() 278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow() 279 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow() 288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow() 289 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow() 306 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local 309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
|
H A D | STLAlgorithmModeling.cpp | 111 auto &SVB = C.getSValBuilder(); in Find() local 114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find() 130 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find() 133 SVB.getConditionType()); in Find() 152 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find() 155 SVB.getConditionType()); in Find()
|
H A D | EnumCastOutOfRangeChecker.cpp | 38 SValBuilder &SVB; member in __anonc67b13ea0111::ConstraintBasedEQEvaluator 43 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {} in ConstraintBasedEQEvaluator() 46 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()() 48 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
|
H A D | BuiltinFunctionChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local 114 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() 116 V = SVB.makeIntVal(Result); in evalCall() 124 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
|
H A D | ContainerModeling.cpp | 321 auto &SVB = C.getSValBuilder(); in handleAssignment() local 435 auto &SVB = C.getSValBuilder(); in handlePushBack() local 437 SVB.evalBinOp(State, BO_Add, in handlePushBack() 464 auto &SVB = C.getSValBuilder(); in handlePopBack() local 466 SVB.evalBinOp(State, BO_Sub, in handlePopBack() 509 auto &SVB = C.getSValBuilder(); in handlePushFront() local 511 SVB.evalBinOp(State, BO_Sub, in handlePushFront() 546 auto &SVB = C.getSValBuilder(); in handlePopFront() local 548 SVB.evalBinOp(State, BO_Add, in handlePopFront() 671 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local [all …]
|
H A D | ErrnoModeling.cpp | 157 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local 165 const SymbolConjured *Sym = SVB.conjureSymbol( in checkBeginFunction() 172 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction() 296 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local 297 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure() 299 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local 50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction() 51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
|
H A D | MIGChecker.cpp | 236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local 241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
H A D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local 225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication() 230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
|
H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local 178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState() 192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
|
H A D | IteratorModeling.cpp | 256 auto &SVB = C.getSValBuilder(); in checkPostStmt() local 259 SVB.makeArrayIndex(1)); in checkPostStmt() 651 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local 652 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr() 791 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local 799 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols() 800 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
H A D | StreamChecker.cpp | 621 SValBuilder &SVB = C.getSValBuilder(); in evalFclose() local 623 CE, C.getLocationContext(), SVB.makeIntVal(0, C.getASTContext().IntTy)); in evalFclose() 626 SVB.makeIntVal(*EofVal, C.getASTContext().IntTy)); in evalFclose() 895 SValBuilder &SVB = C.getSValBuilder(); in evalFtell() local 899 auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, in evalFtell() 900 SVB.makeZeroVal(C.getASTContext().LongTy), in evalFtell() 901 SVB.getConditionType()) in evalFtell() 910 CE, C.getLocationContext(), SVB.makeIntVal(-1, C.getASTContext().LongTy)); in evalFtell()
|
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable 29 : EE(exprengine), SVB(SB) {} in SimpleConstraintManager() 78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder() 79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() 80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
H A D | DynamicExtent.h | 27 const MemRegion *MR, SValBuilder &SVB); 30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB); 35 SValBuilder &SVB, QualType Ty); 39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
|
H A D | SMTConstraintManager.h | 273 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local 276 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 280 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 283 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 286 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE() 287 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|