Home
last modified time | relevance | path

Searched refs:BVF (Results 1 – 16 of 16) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp104 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
107 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
112 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
115 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
120 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
121 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
123 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
124 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DIteratorRangeChecker.cpp135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in checkPreCall()
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyIncrement()
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyDecrement()
299 auto &BVF = State->getBasicVals(); in isZero() local
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))), in isZero()
H A DBoolAssignmentChecker.cpp86 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind() local
89 llvm::APSInt Zero = BVF.getValue(0, valTy); in checkBind()
90 llvm::APSInt One = BVF.getValue(1, valTy); in checkBind()
H A DStdLibraryFunctionsChecker.cpp792 BasicValueFactory &BVF = getBVF(State); in describe() local
861 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange() local
890 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange() local
908 const llvm::APSInt &MinusInf = BVF.getMinValue(T); in applyAsWithinRange()
909 const llvm::APSInt &PlusInf = BVF.getMaxValue(T); in applyAsWithinRange()
1141 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries() local
1142 const ASTContext &ACtx = BVF.getContext(); in initFunctionSummaries()
1214 BasicValueFactory &BVF; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1217 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries() argument
1219 return BVF.getMaxValue(Ty).getLimitedValue(); in initFunctionSummaries()
[all …]
H A DBuiltinFunctionChecker.cpp114 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
115 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
H A DDebugContainerModeling.cpp114 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
116 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DContainerModeling.cpp434 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
439 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
463 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
468 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
508 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
513 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
545 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
550 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
670 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
675 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
H A DIterator.cpp233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
H A DIteratorModeling.cpp542 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
550 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
568 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
576 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
H A DCStringChecker.cpp721 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
724 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()
827 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
828 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()
830 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
145 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
H A DSValBuilder.cpp957 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitNonLocSymbolVal() local
958 return VB.makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy); in VisitNonLocSymbolVal()
1054 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast() local
1055 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1056 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1068 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
H A DProgramState.cpp332 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual() local
335 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBoundDual()
H A DCallEvent.cpp415 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument() local
417 llvm::ImmutableList<SVal> CompoundSVals = BVF.getEmptySValList(); in processArgument()
418 CompoundSVals = BVF.prependSVal(Value, CompoundSVals); in processArgument()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
113 ASTContext &Ctx = BVF.getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
153 return &BVF.getValue(Value); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
166 return &BVF.Convert(SC->getType(), *Value); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
194 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DRangeSetTest.cpp120 BasicValueFactory BVF{Context, Arena}; member in __anon48c83e7c0111::RangeSetTest
121 RangeSet::Factory F{BVF};
134 return BVF.getValue(Int); in from()