| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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
|
| 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
|
| D | BuiltinFunctionChecker.cpp | 117 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
|
| D | BoolAssignmentChecker.cpp | 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind() local
|
| D | DebugContainerModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
|
| 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
|
| D | StdLibraryFunctionsChecker.cpp | 576 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange() local
605 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange() local
830 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries() local
903 BasicValueFactory &BVF; in initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
906 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries()
|
| D | IteratorModeling.cpp | 543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
|
| D | Iterator.cpp | 233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
|
| D | CStringChecker.cpp | 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangedConstraintManager.cpp | 97 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
124 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
158 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
|
| D | SValBuilder.cpp | 550 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
|
| D | ProgramState.cpp | 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local
254 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
308 BasicValueFactory &BVF = getBasicVals(); in assumeSymWithinInclusiveRange() local
|
| D | SValBuilder.cpp | 487 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
|
| D | ProgramState.cpp | 319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
|
| D | CStringChecker.cpp | 571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | RangeSetTest.cpp | 61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anon4fc717830111::RangeSetTest
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConstraintManager.h | 112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|