Searched refs:BasicValueFactory (Results 1 - 16 of 16) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DBasicValueFactory.cpp1 //=== 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 DAndroid.mk16 BasicValueFactory.cpp \
H A DSimpleConstraintManager.h82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
H A DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals();
218 BasicValueFactory &BVF = getBasicVals();
H A DRangeConstraintManager.cpp105 void IntersectInRange(BasicValueFactory &BV, Factory &F,
238 RangeSet Intersect(BasicValueFactory &BV, Factory &F,
354 BasicValueFactory &BV = getBasicVals();
391 BasicValueFactory &BV = getBasicVals();
H A DSVals.cpp221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
H A DSValBuilder.cpp18 #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 DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp86 BasicValueFactory &BVF = SVB.getBasicValueFactory();
H A DCStringChecker.cpp559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h1 //=== 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 DSValBuilder.h21 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
37 BasicValueFactory BasicVals;
134 BasicValueFactory &getBasicValueFactory() { return BasicVals; }
135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
H A DSymbolManager.h34 class BasicValueFactory;
481 BasicValueFactory &BV;
485 SymbolManager(ASTContext &ctx, BasicValueFactory &bv,
553 BasicValueFactory &getBasicVals() { return BV; }
H A DSVals.h34 class BasicValueFactory;
538 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
H A DProgramState.h144 BasicValueFactory &getBasicVals() const;
482 BasicValueFactory &getBasicVals() {
720 inline BasicValueFactory &ProgramState::getBasicVals() const {
H A DExprEngine.h298 BasicValueFactory& getBasicVals() {

Completed in 2645 milliseconds