Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/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.cpp87 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.cpp100 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
H A DIterator.cpp268 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
H A DStdLibraryFunctionsChecker.cpp780 return SVB.getBasicValueFactory(); in getBVF()
868 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
897 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
1167 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
H A DCStringChecker.cpp745 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
851 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp672 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
679 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
680 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitLocConcreteInt()
734 Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty), in VisitLocMemRegionVal()
865 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitNonLocConcreteInt()
959 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitNonLocSymbolVal()
1056 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
H A DSimpleSValBuilder.cpp240 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
283 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
1125 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
H A DStore.cpp513 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp331 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
H A DCallEvent.cpp414 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
/openbsd-src/gnu/llvm/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.h550 return svalBuilder->getBasicValueFactory(); in getBasicVals()