Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp103 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
111 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
119 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.cpp82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind()
H A DBuiltinFunctionChecker.cpp113 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DDebugContainerModeling.cpp113 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.cpp617 return SVB.getBasicValueFactory(); in getBVF()
701 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
730 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
955 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
H A DCStringChecker.cpp655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSValBuilder.h182 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function
183 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
H A DProgramState.h510 return svalBuilder->getBasicValueFactory(); in getBasicVals()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp201 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
244 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
1049 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
H A DSVals.cpp224 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
H A DStore.cpp498 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
H A DSValBuilder.cpp936 BasicValueFactory &BVF = getBasicValueFactory(); in evalCastSubKind()