| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | DynamicSize.cpp | 26 SValBuilder &SVB) { in getDynamicSize()
32 SValBuilder &SVB, in getDynamicElementCount()
|
| D | CallEvent.cpp | 471 SValBuilder &SVB, in addParameterValuesToBindings()
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
792 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
909 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1356 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1403 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
1426 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
|
| D | SimpleSValBuilder.cpp | 315 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
332 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
375 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
450 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
783 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
1250 SValBuilder &SVB; in simplifySVal() member in SimpleSValBuilder::simplifySVal::Simplifier
|
| D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume() local
|
| D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
115 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
189 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
256 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local
|
| D | ContainerModeling.cpp | 335 auto &SVB = C.getSValBuilder(); in handleAssignment() local
449 auto &SVB = C.getSValBuilder(); in handlePushBack() local
478 auto &SVB = C.getSValBuilder(); in handlePopBack() local
523 auto &SVB = C.getSValBuilder(); in handlePushFront() local
560 auto &SVB = C.getSValBuilder(); in handlePopFront() local
685 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1018 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1033 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
|
| D | Iterator.cpp | 232 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
306 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
|
| D | BuiltinFunctionChecker.cpp | 111 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|
| D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| D | STLAlgorithmModeling.cpp | 110 auto &SVB = C.getSValBuilder(); in Find() local
|
| D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB; member in __anon7fb889d40111::ConstraintBasedEQEvaluator
|
| D | IteratorModeling.cpp | 257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
652 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
792 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
|
| D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| D | MIGChecker.cpp | 234 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
|
| D | StdLibraryFunctionsChecker.cpp | 575 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsOutOfRange() local
604 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsWithinRange() local
661 SValBuilder &SVB = Mgr.getSValBuilder(); in apply() local
829 SValBuilder &SVB = C.getSValBuilder(); in initFunctionSummaries() local
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.h | 26 SValBuilder &SVB; variable
|
| D | CallEvent.cpp | 315 SValBuilder &SVB, in addParameterValuesToBindings()
350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1022 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1073 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
1099 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
|
| D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume() local
|
| D | SimpleSValBuilder.cpp | 540 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
|
| D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| D | SMTConstraintManager.h | 272 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|