| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 103 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
111 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
119 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
|
| H A D | IteratorRangeChecker.cpp | 135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
299 auto &BVF = State->getBasicVals(); in isZero() local
|
| H A D | BuiltinFunctionChecker.cpp | 113 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
|
| H A D | BoolAssignmentChecker.cpp | 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind() local
|
| H A D | DebugContainerModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
|
| H A D | ContainerModeling.cpp | 448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
|
| H A D | StdLibraryFunctionsChecker.cpp | 632 BasicValueFactory &BVF = getBVF(State); in describe() local
701 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange() local
730 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange() local
955 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries() local
1028 BasicValueFactory &BVF; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1031 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries()
|
| 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 | 233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
|
| H A D | CStringChecker.cpp | 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 97 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
124 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
158 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
|
| H A D | ProgramState.cpp | 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
|
| H A D | SValBuilder.cpp | 936 BasicValueFactory &BVF = getBasicValueFactory(); in evalCastSubKind() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|