Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp104 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
112 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
120 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity()
H A DIteratorRangeChecker.cpp135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
H A DBoolAssignmentChecker.cpp86 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind()
H A DBuiltinFunctionChecker.cpp114 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DDebugContainerModeling.cpp114 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
H A DVLASizeChecker.cpp99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
H A DIterator.cpp268 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
H A DStdLibraryFunctionsChecker.cpp777 return SVB.getBasicValueFactory(); in getBVF()
861 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
890 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
1141 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
H A DCStringChecker.cpp721 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
827 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp670 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
677 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
678 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitLocConcreteInt()
732 Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty), in VisitLocMemRegionVal()
863 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitNonLocConcreteInt()
957 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitNonLocSymbolVal()
1054 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
H A DSimpleSValBuilder.cpp239 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
282 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
1122 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
H A DStore.cpp512 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp332 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
H A DCallEvent.cpp415 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSValBuilder.h149 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function
150 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
H A DProgramState.h548 return svalBuilder->getBasicValueFactory(); in getBasicVals()