| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | BasicValueFactory.cpp | 79 BasicValueFactory::~BasicValueFactory() { in ~BasicValueFactory()
90 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { in getValue()
108 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, in getValue()
114 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
121 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
126 BasicValueFactory::getCompoundValData(QualType T, in getCompoundValData()
144 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()
162 const PointerToMemberData *BasicValueFactory::getPointerToMemberData( in getPointerToMemberData()
192 const PointerToMemberData *BasicValueFactory::accumCXXBase( in accumCXXBase()
250 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt()
[all …]
|
| H A D | RangeConstraintManager.cpp | 551 merge(BasicValueFactory &BV, RangeSet::Factory &F, ProgramStateRef State,
554 LLVM_NODISCARD inline ProgramStateRef merge(BasicValueFactory &BV,
568 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
571 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
575 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
629 inline ProgramStateRef mergeImpl(BasicValueFactory &BV, RangeSet::Factory &F,
635 BasicValueFactory &BV, RangeSet::Factory &F,
728 LLVM_NODISCARD inline RangeSet intersect(BasicValueFactory &BV,
752 LLVM_NODISCARD inline EndTy intersect(BasicValueFactory &BV, in intersect()
760 intersect(BasicValueFactory &BV, RangeSet::Factory &F, const RangeSet *End) { in intersect()
[all …]
|
| H A D | RangedConstraintManager.cpp | 97 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
124 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
158 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
| H A D | CMakeLists.txt | 10 BasicValueFactory.cpp
|
| H A D | SimpleSValBuilder.cpp | 201 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
224 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) { in decomposeSymbol()
244 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
360 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
|
| H A D | SVals.cpp | 246 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp()
|
| H A D | ProgramState.cpp | 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
|
| H A D | SValBuilder.cpp | 936 BasicValueFactory &BVF = getBasicValueFactory(); in evalCastSubKind()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 106 class BasicValueFactory {
128 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function
132 ~BasicValueFactory();
|
| H A D | SymbolManager.h | 37 class BasicValueFactory; variable
430 BasicValueFactory &BV;
434 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager()
501 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
|
| H A D | SValBuilder.h | 59 BasicValueFactory BasicVals;
182 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
183 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
|
| H A D | SimpleConstraintManager.h | 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
|
| H A D | RangedConstraintManager.h | 122 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()
226 BasicValueFactory &ValueFactory;
|
| H A D | SVals.h | 44 class BasicValueFactory; variable
644 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| H A D | ProgramState.h | 148 BasicValueFactory &getBasicVals() const;
509 BasicValueFactory &getBasicVals() { in getBasicVals()
794 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
|
| H A D | ExprEngine.h | 79 class BasicValueFactory; variable
424 BasicValueFactory &getBasicVals() { in getBasicVals()
|
| H A D | SMTConstraintManager.h | 112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /netbsd-src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/ |
| H A D | Makefile | 12 BasicValueFactory.cpp \
|
| /netbsd-src/external/apache2/llvm/dist/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 19 "BasicValueFactory.cpp",
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind()
|
| H A D | BuiltinFunctionChecker.cpp | 113 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
|
| H A D | StdLibraryFunctionsChecker.cpp | 614 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF()
632 BasicValueFactory &BVF = getBVF(State); in describe()
701 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
730 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
955 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
1028 BasicValueFactory &BVF; in initFunctionSummaries()
1031 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {} in initFunctionSummaries()
|
| H A D | Iterator.cpp | 268 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
|
| H A D | CStringChecker.cpp | 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
|