Home
last modified time | relevance | path

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

/freebsd/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.cpp134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
H A DBoolAssignmentChecker.cpp83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
H A DDebugContainerModeling.cpp107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
H A DBuiltinFunctionChecker.cpp136 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DVLASizeChecker.cpp99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
H A DStreamChecker.cpp1055 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex()
1206 E.SVB.getBasicValueFactory().getValue(0, E.ACtx.UnsignedCharTy), in evalFgetx()
1207 E.SVB.getBasicValueFactory().getMaxValue(E.ACtx.UnsignedCharTy), in evalFgetx()
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.cpp914 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
1020 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
H A DMallocChecker.cpp1728 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSValBuilder.h161 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function
162 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
H A DProgramState.h552 return svalBuilder->getBasicValueFactory(); in getBasicVals()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp522 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
H A DProgramState.cpp344 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
H A DCallEvent.cpp417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()