| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
|
| H A D | IteratorRangeChecker.cpp | 134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
298 auto &BVF = State->getBasicVals(); in isZero() local
|
| H A D | BoolAssignmentChecker.cpp | 83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind() local
|
| H A D | DebugContainerModeling.cpp | 107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
|
| H A D | ContainerModeling.cpp | 443 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
472 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
517 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
554 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
679 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
|
| H A D | StdLibraryFunctionsChecker.cpp | 340 void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT, in applyOnRange()
933 BasicValueFactory &BVF, in appendInsideRangeDesc()
960 BasicValueFactory &BVF, in appendOutOfRangeDesc()
985 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnWithinRange()
999 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnOutOfRange()
1061 BasicValueFactory &BVF = getBVF(State); in describe() local
1094 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory(); in describeArgumentValue() local
1567 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries() local
1641 BasicValueFactory &BVF; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1644 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries()
|
| H A D | ChrootChecker.cpp | 76 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in evalChroot() local
|
| H A D | BuiltinFunctionChecker.cpp | 328 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
|
| H A D | IteratorModeling.cpp | 543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
|
| H A D | Iterator.cpp | 232 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
|
| H A D | CStringChecker.cpp | 920 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
1026 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
|
| H A D | StreamChecker.cpp | 1094 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex() local
|
| H A D | MallocChecker.cpp | 1941 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness() local
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
|
| H A D | SValBuilder.cpp | 965 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitSymbolVal() local
1067 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast() local
|
| H A D | ProgramState.cpp | 330 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual() local
|
| H A D | CallEvent.cpp | 416 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument() local
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 117 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|