Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity()
H A DIteratorRangeChecker.cpp129 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
204 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
H A DBoolAssignmentChecker.cpp84 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind()
H A DDebugContainerModeling.cpp107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
H A DBuiltinFunctionChecker.cpp112 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DVLASizeChecker.cpp99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
H A DIterator.cpp266 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
H A DStdLibraryFunctionsChecker.cpp910 return SVB.getBasicValueFactory(); in getBVF()
1052 applyOnRange(negateKind(Kind), C.getSValBuilder().getBasicValueFactory(), T, in apply()
1096 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory(); in describeArgumentValue()
1564 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
H A DCStringChecker.cpp769 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
875 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
H A DStreamChecker.cpp842 SVB.makeIntVal(SVB.getBasicValueFactory() in evalFgetx()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp677 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
684 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
685 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitConcreteInt()
739 Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty), in VisitMemRegionVal()
870 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
964 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitSymbolVal()
1066 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
H A DSimpleSValBuilder.cpp254 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
297 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
1151 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
H A DStore.cpp512 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp330 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
H A DCallEvent.cpp417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSValBuilder.h157 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function
158 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
H A DProgramState.h550 return svalBuilder->getBasicValueFactory(); in getBasicVals()