| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 50 void SValBuilder::anchor() {} in anchor()
52 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
67 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
77 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
85 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
92 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
99 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
113 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
118 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) { in getRegionValueSymbolVal()
135 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal()
[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()
59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
82 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| D | CallEvent.cpp | 478 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
508 SValBuilder &SVB, in addParameterValuesToBindings()
630 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
831 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
905 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
948 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1395 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1465 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| D | SimpleSValBuilder.cpp | 24 class SimpleSValBuilder : public SValBuilder {
28 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
53 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder()
183 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
200 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
243 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
318 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
1121 SValBuilder &SVB; in simplifySVal()
|
| D | SVals.cpp | 279 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
292 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement()
297 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()
|
| D | CheckerContext.cpp | 117 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume()
|
| /freebsd-12-stable/contrib/llvm-project/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()
77 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
|
| D | SVals.h | 49 class SValBuilder; variable
395 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
398 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
400 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
418 friend class ento::SValBuilder;
465 friend class ento::SValBuilder;
494 friend class ento::SValBuilder;
533 friend class ento::SValBuilder;
|
| D | Environment.h | 28 class SValBuilder; variable
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| D | SValBuilder.h | 52 class SValBuilder {
98 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SValBuilder() function
105 virtual ~SValBuilder() = default;
413 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| D | Store.h | 55 SValBuilder &svalBuilder;
132 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
|
| D | SMTConstraintManager.h | 35 clang::ento::SValBuilder &SB) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
272 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| D | ProgramState.h | 484 std::unique_ptr<SValBuilder> svalBuilder;
513 SValBuilder &getSValBuilder() { in getSValBuilder()
517 const SValBuilder &getSValBuilder() const { in getSValBuilder()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 63 SValBuilder &svalBuilder,
71 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
86 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
131 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 | 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 | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
189 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
256 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
|
| D | CStringChecker.cpp | 289 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
384 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
465 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
654 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
751 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
811 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
881 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound()
1055 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux()
1186 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon()
1285 SValBuilder &Builder = C.getSValBuilder(); in evalMemcmp()
[all …]
|
| D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB;
|
| D | BoolAssignmentChecker.cpp | 81 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
|
| D | BuiltinFunctionChecker.cpp | 107 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
|
| D | CastSizeChecker.cpp | 113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| D | ContainerModeling.cpp | 152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
1018 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1033 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
|
| D | MIGChecker.cpp | 234 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess()
|