Searched refs:getBasicVals (Results 1 - 9 of 9) sorted by relevance
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 352 BasicValueFactory &BV = getBasicVals();
389 BasicValueFactory &BV = getBasicVals();
432 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
447 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
476 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
505 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
534 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
563 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
|
| H A D | SimpleConstraintManager.h | 82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } function in class:clang::ento::SimpleConstraintManager
|
| H A D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals();
169 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
218 BasicValueFactory &BVF = getBasicVals();
|
| H A D | ExprEngineC.cpp | 590 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList();
603 vals = getBasicVals().consVals(V, vals);
855 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
|
| H A D | ProgramState.cpp | 278 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int);
|
| H A D | ExprEngine.cpp | 1610 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1));
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 296 BasicValueFactory& getBasicVals() { function in class:clang::ento::ExprEngine
297 return StateMgr.getBasicVals();
|
| H A D | ProgramState.h | 144 BasicValueFactory &getBasicVals() const;
482 BasicValueFactory &getBasicVals() { function in class:clang::ento::ProgramStateManager
722 inline BasicValueFactory &ProgramState::getBasicVals() const { function in class:clang::ento::ProgramState
723 return getStateManager().getBasicVals();
|
| H A D | SymbolManager.h | 556 BasicValueFactory &getBasicVals() { return BV; } function in class:clang::ento::SymbolManager
|
Completed in 193 milliseconds