| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A 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()
85 nonloc::SymbolVal SValBuilder::makeNonLoc(APSIntPtr lhs, in makeNonLoc()
93 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
101 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
108 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
117 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
132 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
[all …]
|
| H A D | DynamicExtent.cpp | 28 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
39 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
44 static DefinedOrUnknownSVal getConstantArrayElementCount(SValBuilder &SVB, in getConstantArrayElementCount()
62 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount()
72 SValBuilder &SVB, in getDynamicElementCount()
86 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
112 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset()
|
| H A D | CallEvent.cpp | 400 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
435 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded()
462 SValBuilder &SVB, in addParameterValuesToBindings()
617 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
751 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
836 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
911 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
962 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1409 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1462 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 25 class SimpleSValBuilder : public SValBuilder {
69 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
101 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder()
236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
254 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
297 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
372 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
1272 SValBuilder &SVB; in simplifySValOnce()
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
|
| H A D | CheckerContext.cpp | 152 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 27 const MemRegion *MR, SValBuilder &SVB);
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
35 SValBuilder &SVB, QualType Ty);
|
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
|
| H A D | Environment.h | 28 class SValBuilder; variable
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| H A D | SVals.h | 50 class SValBuilder; variable
313 friend class ento::SValBuilder;
340 friend class ento::SValBuilder;
390 friend class ento::SValBuilder;
435 friend class ento::SValBuilder;
|
| H A D | SValBuilder.h | 54 class SValBuilder {
80 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
83 virtual ~SValBuilder() = default;
401 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| H A D | Store.h | 63 SValBuilder &svalBuilder;
141 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
|
| H A D | SMTConstraintManager.h | 37 clang::ento::SValBuilder &SB) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
279 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ProgramState.h | 519 std::unique_ptr<SValBuilder> svalBuilder;
548 SValBuilder &getSValBuilder() { in getSValBuilder()
552 const SValBuilder &getSValBuilder() const { in getSValBuilder()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
146 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
|
| H A D | BuiltinFunctionChecker.cpp | 155 SValBuilder &SVB = C.getSValBuilder(); in checkOverflow()
178 SValBuilder &SVB = C.getSValBuilder(); in initStateAftetBuiltinOverflow()
206 SValBuilder &SVB = C.getSValBuilder(); in handleOverflowBuiltin()
322 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
|
| H A D | ArrayBoundChecker.cpp | 187 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) { in computeOffset()
259 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
288 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative()
293 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) { in isUnsigned()
307 SValBuilder &SVB, bool CheckEquality = false) { in compareValueToThreshold()
580 SValBuilder &SVB = C.getSValBuilder(); in performCheck()
|
| H A D | CStringChecker.cpp | 370 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
407 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex()
459 SValBuilder &SVB = C.getSValBuilder(); in checkInit()
610 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
705 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
919 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
1016 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
1076 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
1088 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength()
1162 SValBuilder &SB = C.getSValBuilder(); in isFirstBufInBound()
[all …]
|
| H A D | ErrnoModeling.cpp | 113 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
244 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure()
|
| H A D | VLASizeChecker.cpp | 94 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
180 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
|
| H A D | BitwiseShiftChecker.cpp | 138 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement()
177 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift()
|
| H A D | CastSizeChecker.cpp | 115 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| H A D | EnumCastOutOfRangeChecker.cpp | 41 SValBuilder &SVB;
|
| H A D | ContainerModeling.cpp | 143 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
145 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()
|
| H A D | SetgidSetuidOrderChecker.cpp | 93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume()
|