Home
last modified time | relevance | path

Searched refs:BasicValueFactory (Results 1 – 17 of 17) sorted by relevance

/minix/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DBasicValueFactory.cpp61 BasicValueFactory::~BasicValueFactory() { in ~BasicValueFactory()
72 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { in getValue()
89 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, in getValue()
95 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
102 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
108 BasicValueFactory::getCompoundValData(QualType T, in getCompoundValData()
127 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()
146 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt()
237 BasicValueFactory::getPersistentSValWithData(const SVal& V, uintptr_t Data) { in getPersistentSValWithData()
262 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2) { in getPersistentSValPair()
[all …]
H A DCMakeLists.txt7 BasicValueFactory.cpp
H A DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol()
218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
H A DRangeConstraintManager.cpp105 void IntersectInRange(BasicValueFactory &BV, Factory &F, in IntersectInRange()
238 RangeSet Intersect(BasicValueFactory &BV, Factory &F, in Intersect()
354 BasicValueFactory &BV = getBasicVals(); in checkNull()
391 BasicValueFactory &BV = getBasicVals(); in GetRange()
H A DSimpleConstraintManager.h82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSVals.cpp221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp()
H A DSValBuilder.cpp415 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
H A DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
/minix/external/bsd/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h62 class BasicValueFactory {
82 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function
86 ~BasicValueFactory();
H A DSValBuilder.h37 BasicValueFactory BasicVals;
134 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
H A DSymbolManager.h34 class BasicValueFactory; variable
481 BasicValueFactory &BV;
485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager()
553 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
H A DSVals.h34 class BasicValueFactory; variable
538 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
H A DProgramState.h145 BasicValueFactory &getBasicVals() const;
483 BasicValueFactory &getBasicVals() { in getBasicVals()
721 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
H A DExprEngine.h307 BasicValueFactory& getBasicVals() { in getBasicVals()
/minix/external/bsd/llvm/lib/libclangStaticAnalyzerCore/
H A DMakefile12 BasicValueFactory.cpp \
/minix/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp88 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DCStringChecker.cpp559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()