| /freebsd-12.1/contrib/llvm/tools/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()
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()
180 const PointerToMemberData *BasicValueFactory::accumCXXBase( in accumCXXBase()
206 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt()
324 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2) { in getPersistentSValPair()
[all …]
|
| H A D | RangedConstraintManager.cpp | 78 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
105 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
139 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
| H A D | RangeConstraintManager.cpp | 26 void RangeSet::IntersectInRange(BasicValueFactory &BV, Factory &F, in IntersectInRange()
156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F, in Intersect()
180 RangeSet RangeSet::Negate(BasicValueFactory &BV, Factory &F) const { in Negate()
373 BasicValueFactory &BV = getBasicVals(); in checkNull()
413 BasicValueFactory &BV, in assumeNonZero()
431 BasicValueFactory &BV, in applyBitwiseConstraints()
463 BasicValueFactory &BV = getBasicVals(); in getRange()
|
| H A D | SimpleSValBuilder.cpp | 334 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
357 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) { in decomposeSymbol()
377 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
493 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
|
| H A D | SVals.cpp | 268 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp()
|
| H A D | SValBuilder.cpp | 542 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
|
| H A D | ProgramState.cpp | 332 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | RangedConstraintManager.h | 105 void IntersectInRange(BasicValueFactory &BV, Factory &F,
115 RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,
118 RangeSet Negate(BasicValueFactory &BV, Factory &F) const;
|
| H A D | BasicValueFactory.h | 107 class BasicValueFactory {
129 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function
133 ~BasicValueFactory();
|
| H A D | SValBuilder.h | 60 BasicValueFactory BasicVals;
169 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
170 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
|
| H A D | SymbolManager.h | 38 class BasicValueFactory; variable
473 BasicValueFactory &BV;
477 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager()
545 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
|
| H A D | SimpleConstraintManager.h | 79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
|
| H A D | SVals.h | 45 class BasicValueFactory; variable
647 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| H A D | ProgramState.h | 151 BasicValueFactory &getBasicVals() const;
538 BasicValueFactory &getBasicVals() { in getBasicVals()
818 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
|
| H A D | ExprEngine.h | 75 class BasicValueFactory; variable
386 BasicValueFactory &getBasicVals() { in getBasicVals()
|
| H A D | SMTConstraintManager.h | 106 BasicValueFactory &BVF = getBasicVals(); in getSymVal()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 235 void initFunctionSummaries(BasicValueFactory &BVF) const;
245 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange()
273 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange()
440 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in findFunctionSummary()
468 BasicValueFactory &BVF) const { in initFunctionSummaries()
|
| H A D | BuiltinFunctionChecker.cpp | 109 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
|
| H A D | CStringChecker.cpp | 634 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
739 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
|
| H A D | IteratorChecker.cpp | 987 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
|
| /freebsd-12.1/lib/clang/libclang/ |
| H A D | Makefile | 575 SRCS_FUL+= StaticAnalyzer/Core/BasicValueFactory.cpp
|