Searched refs:BasicValueFactory (Results 1 – 17 of 17) sorted by relevance
/minix/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
H A D | BasicValueFactory.cpp | 61 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 D | CMakeLists.txt | 7 BasicValueFactory.cpp
|
H A D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() 218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
H A D | RangeConstraintManager.cpp | 105 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 D | SimpleConstraintManager.h | 82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
|
H A D | SVals.cpp | 221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp()
|
H A D | SValBuilder.cpp | 415 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast()
|
H A D | ProgramState.cpp | 319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound()
|
/minix/external/bsd/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | BasicValueFactory.h | 62 class BasicValueFactory { 82 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function 86 ~BasicValueFactory();
|
H A D | SValBuilder.h | 37 BasicValueFactory BasicVals; 134 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() 135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
|
H A D | SymbolManager.h | 34 class BasicValueFactory; variable 481 BasicValueFactory &BV; 485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager() 553 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
|
H A D | SVals.h | 34 class BasicValueFactory; variable 538 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
H A D | ProgramState.h | 145 BasicValueFactory &getBasicVals() const; 483 BasicValueFactory &getBasicVals() { in getBasicVals() 721 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
|
H A D | ExprEngine.h | 307 BasicValueFactory& getBasicVals() { in getBasicVals()
|
/minix/external/bsd/llvm/lib/libclangStaticAnalyzerCore/ |
H A D | Makefile | 12 BasicValueFactory.cpp \
|
/minix/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 88 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
|
H A D | CStringChecker.cpp | 559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() 682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
|