| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 50 void SValBuilder::anchor() {} in anchor()
52 SValBuilder::SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SValBuilder() function in SValBuilder
62 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
89 nonloc::SymbolVal SValBuilder::makeNonLoc(const llvm::APSInt &lhs, in makeNonLoc()
97 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
105 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
112 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
121 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
136 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
[all …]
|
| 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()
60 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
83 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| 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()
796 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
914 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1361 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1408 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1431 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| D | SimpleSValBuilder.cpp | 24 class SimpleSValBuilder : public SValBuilder {
64 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
86 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder()
222 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
239 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
282 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
356 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
1213 SValBuilder &SVB; in simplifySValOnce()
|
| D | CMakeLists.txt | 48 SValBuilder.cpp
|
| D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
|
| D | CheckerContext.cpp | 137 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | DynamicExtent.h | 27 const MemRegion *MR, SValBuilder &SVB);
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
35 SValBuilder &SVB, QualType Ty);
39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
|
| D | SimpleConstraintManager.h | 25 SValBuilder &SVB;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
|
| D | Environment.h | 28 class SValBuilder; variable
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| D | SVals.h | 46 class SValBuilder; variable
345 friend class ento::SValBuilder;
377 friend class ento::SValBuilder;
402 friend class ento::SValBuilder;
442 friend class ento::SValBuilder;
|
| D | SValBuilder.h | 53 class SValBuilder {
79 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
82 virtual ~SValBuilder() = default;
394 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| D | Store.h | 55 SValBuilder &svalBuilder;
133 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
|
| D | SMTConstraintManager.h | 36 clang::ento::SValBuilder &SB) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
273 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 64 SValBuilder &svalBuilder,
72 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
87 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
132 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
285 SValBuilder &sb) { in scaleValue()
294 SValBuilder &svalBuilder) { in addValue()
308 SValBuilder &svalBuilder, in computeOffset()
|
| D | ErrnoTesterChecker.cpp | 106 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
123 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
145 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
|
| D | UndefResultChecker.cpp | 68 SValBuilder &SB = C.getSValBuilder(); in isLeftShiftResultUnrepresentable()
137 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
157 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
|
| D | VLASizeChecker.cpp | 97 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
190 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
257 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
|
| D | CStringChecker.cpp | 326 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
381 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
449 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
535 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
744 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
841 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
901 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
971 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound()
1142 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux()
1273 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon()
[all …]
|
| D | EnumCastOutOfRangeChecker.cpp | 38 SValBuilder &SVB;
|
| D | BoolAssignmentChecker.cpp | 86 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
|
| D | ErrnoModeling.cpp | 157 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
296 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure()
|
| D | BuiltinFunctionChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
|
| D | CastSizeChecker.cpp | 113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| /openbsd/src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| D | BUILD.gn | 53 "SValBuilder.cpp",
|