Searched refs:BasicValueFactory (Results 1 - 16 of 16) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | BasicValueFactory.cpp | 1 //=== BasicValueFactory.cpp - Basic values for Path Sens analysis --*- C++ -*-// 10 // This file defines BasicValueFactory, a class that manages the lifetime 17 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" 61 BasicValueFactory::~BasicValueFactory() { 72 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { 89 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, 95 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, 102 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { 108 BasicValueFactory [all...] |
H A D | Android.mk | 16 BasicValueFactory.cpp \
|
H A D | SimpleConstraintManager.h | 82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
|
H A D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals(); 218 BasicValueFactory &BVF = getBasicVals();
|
H A D | RangeConstraintManager.cpp | 105 void IntersectInRange(BasicValueFactory &BV, Factory &F, 238 RangeSet Intersect(BasicValueFactory &BV, Factory &F, 354 BasicValueFactory &BV = getBasicVals(); 391 BasicValueFactory &BV = getBasicVals();
|
H A D | SVals.cpp | 221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
|
H A D | SValBuilder.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" 47 // BasicValueFactory, so we don't need to get the APSInt from 48 // BasicValueFactory again. 415 BasicValueFactory &BVF = getBasicValueFactory();
|
H A D | ProgramState.cpp | 319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 86 BasicValueFactory &BVF = SVB.getBasicValueFactory();
|
H A D | CStringChecker.cpp | 559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | BasicValueFactory.h | 1 //=== BasicValueFactory.h - Basic values for Path Sens analysis --*- C++ -*---// 10 // This file defines BasicValueFactory, a class that manages the lifetime 62 class BasicValueFactory { class in namespace:clang::ento 82 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) function in class:clang::ento::BasicValueFactory 86 ~BasicValueFactory();
|
H A D | SValBuilder.h | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" 37 BasicValueFactory BasicVals; 134 BasicValueFactory &getBasicValueFactory() { return BasicVals; } 135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
|
H A D | SymbolManager.h | 34 class BasicValueFactory; 481 BasicValueFactory &BV; 485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, 553 BasicValueFactory &getBasicVals() { return BV; }
|
H A D | SVals.h | 34 class BasicValueFactory; 538 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
H A D | ProgramState.h | 144 BasicValueFactory &getBasicVals() const; 482 BasicValueFactory &getBasicVals() { 720 inline BasicValueFactory &ProgramState::getBasicVals() const {
|
H A D | ExprEngine.h | 298 BasicValueFactory& getBasicVals() {
|
Completed in 2645 milliseconds