Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
100 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
108 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
114 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
116 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
117 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DIteratorRangeChecker.cpp134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
137 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in checkPreCall()
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
211 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyIncrement()
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
217 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyDecrement()
298 auto &BVF = State->getBasicVals(); in isZero() local
300 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))), in isZero()
H A DBoolAssignmentChecker.cpp83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind() local
86 llvm::APSInt Zero = BVF.getValue(0, RegTy); in checkBind()
87 llvm::APSInt One = BVF.getValue(1, RegTy); in checkBind()
H A DStdLibraryFunctionsChecker.cpp118 QualType ArgT, BasicValueFactory &BVF,
123 QualType ArgT, BasicValueFactory &BVF,
324 void applyOnWithinRange(BasicValueFactory &BVF, QualType ArgT,
336 void applyOnOutOfRange(BasicValueFactory &BVF, QualType ArgT,
340 void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT, in applyOnRange() argument
344 applyOnOutOfRange(BVF, ArgT, F); in applyOnRange()
347 applyOnWithinRange(BVF, ArgT, F); in applyOnRange()
933 BasicValueFactory &BVF, in appendInsideRangeDesc() argument
939 else if (RMin == BVF.getMinValue(ArgT)) { in appendInsideRangeDesc()
944 } else if (RMax == BVF.getMaxValue(ArgT)) { in appendInsideRangeDesc()
[all …]
H A DChrootChecker.cpp76 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in evalChroot() local
82 SVal Zero = nonloc::ConcreteInt{BVF.getValue(0, IntTy)}; in evalChroot()
83 SVal Minus1 = nonloc::ConcreteInt{BVF.getValue(-1, IntTy)}; in evalChroot()
H A DContainerModeling.cpp443 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
448 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
472 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
477 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
517 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
522 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
554 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
559 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
679 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
684 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
H A DDebugContainerModeling.cpp107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
109 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
H A DIterator.cpp232 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
246 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
H A DBuiltinFunctionChecker.cpp328 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
329 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
H A DIteratorModeling.cpp543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
H A DCStringChecker.cpp920 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
923 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()
1026 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
1027 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()
1030 BVF.evalAPSInt(BO_Div, maxValInt, fourInt); in getCStringLengthForRegion()
H A DStreamChecker.cpp1094 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex() local
1095 return nonloc::ConcreteInt(BVF.getIntValue(0, /*isUnsigned=*/false)); in getStartIndex()
H A DMallocChecker.cpp1941 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness() local
1942 const llvm::APSInt MaxValInt = BVF.getMaxValue(SizeTy); in checkTaintedness()
/freebsd/contrib/llvm-project/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.cpp965 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitSymbolVal() local
966 return VB.makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy); in VisitSymbolVal()
1067 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast() local
1068 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1069 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1081 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
H A DProgramState.cpp330 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual() local
333 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBoundDual()
H A DCallEvent.cpp416 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument() local
418 llvm::ImmutableList<SVal> CompoundSVals = BVF.getEmptySValList(); in processArgument()
419 CompoundSVals = BVF.prependSVal(Value, CompoundSVals); in processArgument()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h117 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
118 ASTContext &Ctx = BVF.getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
158 return BVF.getValue(Value).get(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
171 return BVF.Convert(SC->getType(), *Value).get(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
200 BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()