| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
45 SValBuilder &SVB, in getDynamicElementCount()
82 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| H A D | SimpleSValBuilder.cpp | 183 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
200 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
243 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
318 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
654 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
1121 SValBuilder &SVB; in simplifySVal() member in SimpleSValBuilder::simplifySVal::Simplifier
|
| H A 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
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume() local
|
| H A D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
115 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
|
| H A D | RegionStore.cpp | 858 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
930 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
1552 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
|
| H A D | RangeConstraintManager.cpp | 1379 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager()
|
| H A D | ExprEngine.cpp | 873 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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
|
| H A 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()
|
| H A 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
|
| H A D | BuiltinFunctionChecker.cpp | 107 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| H A D | STLAlgorithmModeling.cpp | 110 auto &SVB = C.getSValBuilder(); in Find() local
|
| H A D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB; member in __anon0701a2a80111::ConstraintBasedEQEvaluator
|
| H A 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
|
| H A D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| H A D | MIGChecker.cpp | 234 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
|
| H A D | StdLibraryFunctionsChecker.cpp | 616 SValBuilder &SVB = Mgr.getSValBuilder(); in getBVF() local
700 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsOutOfRange() local
729 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsWithinRange() local
786 SValBuilder &SVB = Mgr.getSValBuilder(); in apply() local
954 SValBuilder &SVB = C.getSValBuilder(); in initFunctionSummaries() local
|
| H A D | CStringChecker.cpp | 2098 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
2159 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| H A D | SMTConstraintManager.h | 272 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 934 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|