| /openbsd-src/gnu/llvm/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()
83 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| H A D | CallEvent.cpp | 398 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
433 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded()
460 SValBuilder &SVB, in addParameterValuesToBindings()
595 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
796 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
914 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1361 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1408 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
1431 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
|
| H A D | SimpleSValBuilder.cpp | 222 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
239 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
282 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
356 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
698 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
1213 SValBuilder &SVB; in simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier
|
| H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local
|
| H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
|
| H A D | ExprEngineCXX.cpp | 101 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local
125 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
|
| H A D | RegionStore.cpp | 853 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
925 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
1542 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
1898 const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) { in getDerivedSymbolForBinding()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 106 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
123 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
145 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
|
| H A D | VLASizeChecker.cpp | 97 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
190 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
257 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local
|
| H A D | ContainerModeling.cpp | 321 auto &SVB = C.getSValBuilder(); in handleAssignment() local
435 auto &SVB = C.getSValBuilder(); in handlePushBack() local
464 auto &SVB = C.getSValBuilder(); in handlePopBack() local
509 auto &SVB = C.getSValBuilder(); in handlePushFront() local
546 auto &SVB = C.getSValBuilder(); in handlePopFront() local
671 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1004 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1019 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 | 108 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| H A D | ErrnoModeling.cpp | 157 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
296 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
|
| H A D | STLAlgorithmModeling.cpp | 111 auto &SVB = C.getSValBuilder(); in Find() local
|
| H A D | EnumCastOutOfRangeChecker.cpp | 38 SValBuilder &SVB; member in __anon529c3c740111::ConstraintBasedEQEvaluator
|
| H A D | IteratorModeling.cpp | 256 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
651 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
791 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
|
| H A D | StdLibraryFunctionsChecker.cpp | 458 SValBuilder &SVB = C.getSValBuilder(); in apply() local
779 SValBuilder &SVB = Mgr.getSValBuilder(); in getBVF() local
867 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsOutOfRange() local
896 SValBuilder &SVB = Mgr.getSValBuilder(); in applyAsWithinRange() local
953 SValBuilder &SVB = Mgr.getSValBuilder(); in apply() local
1166 SValBuilder &SVB = C.getSValBuilder(); in initFunctionSummaries() local
|
| H A D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| H A D | MIGChecker.cpp | 236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
|
| H A D | StreamChecker.cpp | 621 SValBuilder &SVB = C.getSValBuilder(); in evalFclose() local
895 SValBuilder &SVB = C.getSValBuilder(); in evalFtell() local
|
| H A D | CStringChecker.cpp | 2193 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
2254 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| H A D | SMTConstraintManager.h | 273 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|