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

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangedConstraintManager.cpp 61 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
78 const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType);
97 BasicValueFactory &BVF = getBasicVals();
124 BasicValueFactory &BVF = getBasicVals();
158 BasicValueFactory &BVF = getBasicVals();
ExprEngineC.cpp 530 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase(
740 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType()));
762 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList();
775 vals = getBasicVals().prependSVal(V, vals);
1061 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
RangeConstraintManager.cpp 1380 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {}
1513 return EquivalenceClass::markDisequal(getBasicVals(), F, State, LHS, RHS);
1518 return EquivalenceClass::merge(getBasicVals(), F, State, LHS, RHS);
2009 BasicValueFactory &BV = getBasicVals();
2169 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Sym);
2174 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Class);
ProgramState.cpp 294 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int);
SimpleSValBuilder.cpp 360 BasicValueFactory &BV = State->getBasicVals();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SimpleConstraintManager.h 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); }
SMTConstraintManager.h 45 ASTContext &Ctx = getBasicVals().getContext();
67 ASTContext &Ctx = getBasicVals().getContext();
83 ASTContext &Ctx = getBasicVals().getContext();
112 BasicValueFactory &BVF = getBasicVals();
247 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo();
ProgramState.h 148 BasicValueFactory &getBasicVals() const;
509 BasicValueFactory &getBasicVals() {
794 inline BasicValueFactory &ProgramState::getBasicVals() const {
795 return getStateManager().getBasicVals();
ExprEngine.h 424 BasicValueFactory &getBasicVals() {
425 return StateMgr.getBasicVals();
SymbolManager.h 501 BasicValueFactory &getBasicVals() { return BV; }
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ContainerModeling.cpp 448 auto &BVF = SymMgr.getBasicVals();
477 auto &BVF = SymMgr.getBasicVals();
522 auto &BVF = SymMgr.getBasicVals();
559 auto &BVF = SymMgr.getBasicVals();
684 auto &BVF = SymMgr.getBasicVals();
Iterator.cpp 233 auto &BVF = State->getStateManager().getBasicVals();
IteratorRangeChecker.cpp 299 auto &BVF = State->getBasicVals();
IteratorModeling.cpp 543 auto &BVF = C.getSymbolManager().getBasicVals();
569 auto &BVF = C.getSymbolManager().getBasicVals();

Completed in 32 milliseconds