HomeSort by: relevance | last modified time | path
    Searched refs:BasicValueFactory (Results 1 - 22 of 22) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
BasicValueFactory.cpp 1 //===- BasicValueFactory.cpp - Basic values for Path Sens analysis --------===//
9 // This file defines BasicValueFactory, a class that manages the lifetime
15 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
79 BasicValueFactory::~BasicValueFactory() {
90 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) {
108 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X,
114 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth,
121 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) {
126 BasicValueFactory::getCompoundValData(QualType T
    [all...]
RangedConstraintManager.cpp 97 BasicValueFactory &BVF = getBasicVals();
124 BasicValueFactory &BVF = getBasicVals();
158 BasicValueFactory &BVF = getBasicVals();
RangeConstraintManager.cpp 551 merge(BasicValueFactory &BV, RangeSet::Factory &F, ProgramStateRef State,
554 LLVM_NODISCARD inline ProgramStateRef merge(BasicValueFactory &BV,
568 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
571 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
575 markDisequal(BasicValueFactory &BV, RangeSet::Factory &F,
629 inline ProgramStateRef mergeImpl(BasicValueFactory &BV, RangeSet::Factory &F,
635 BasicValueFactory &BV, RangeSet::Factory &F,
728 LLVM_NODISCARD inline RangeSet intersect(BasicValueFactory &BV,
752 LLVM_NODISCARD inline EndTy intersect(BasicValueFactory &BV,
760 intersect(BasicValueFactory &BV, RangeSet::Factory &F, const RangeSet *End)
    [all...]
SVals.cpp 21 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
246 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
SimpleSValBuilder.cpp 201 BasicValueFactory &BV = SVB.getBasicValueFactory();
224 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) {
244 BasicValueFactory &BV = SVB.getBasicValueFactory();
360 BasicValueFactory &BV = State->getBasicVals();
ProgramState.cpp 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
SValBuilder.cpp 26 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
70 // BasicValueFactory, so we don't need to get the APSInt from
71 // BasicValueFactory again.
936 BasicValueFactory &BVF = getBasicValueFactory();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SimpleConstraintManager.h 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
BasicValueFactory.h 1 //==- BasicValueFactory.h - Basic values for Path Sens analysis --*- C++ -*-==//
9 // This file defines BasicValueFactory, a class that manages the lifetime
106 class BasicValueFactory {
128 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc)
132 ~BasicValueFactory();
SValBuilder.h 24 #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
59 BasicValueFactory BasicVals;
182 BasicValueFactory &getBasicValueFactory() { return BasicVals; }
183 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
SymbolManager.h 37 class BasicValueFactory;
430 BasicValueFactory &BV;
434 SymbolManager(ASTContext &ctx, BasicValueFactory &bv,
501 BasicValueFactory &getBasicVals() { return BV; }
RangedConstraintManager.h 122 Factory(BasicValueFactory &BV) : ValueFactory(BV) {}
226 BasicValueFactory &ValueFactory;
SVals.h 44 class BasicValueFactory;
644 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
ProgramState.h 148 BasicValueFactory &getBasicVals() const;
509 BasicValueFactory &getBasicVals() {
794 inline BasicValueFactory &ProgramState::getBasicVals() const {
SMTConstraintManager.h 112 BasicValueFactory &BVF = getBasicVals();
ExprEngine.h 79 class BasicValueFactory;
424 BasicValueFactory &getBasicVals() {
  /src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/
Makefile 12 BasicValueFactory.cpp \
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
BoolAssignmentChecker.cpp 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
BuiltinFunctionChecker.cpp 113 BasicValueFactory &BVF = SVB.getBasicValueFactory();
Iterator.cpp 268 BasicValueFactory &BV = SVB.getBasicValueFactory();
StdLibraryFunctionsChecker.cpp 614 static BasicValueFactory &getBVF(ProgramStateRef State) {
632 BasicValueFactory &BVF = getBVF(State);
701 BasicValueFactory &BVF = SVB.getBasicValueFactory();
730 BasicValueFactory &BVF = SVB.getBasicValueFactory();
955 BasicValueFactory &BVF = SVB.getBasicValueFactory();
1028 BasicValueFactory &BVF;
1031 GetMaxValue(BasicValueFactory &BVF) : BVF(BVF) {}
CStringChecker.cpp 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();

Completed in 48 milliseconds