Searched refs:getBasicVals (Results 1 – 9 of 9) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 354 BasicValueFactory &BV = getBasicVals(); in checkNull()
391 BasicValueFactory &BV = getBasicVals(); in GetRange()
434 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower); in assumeSymNE()
449 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt); in assumeSymEQ()
478 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in assumeSymLT()
507 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in assumeSymGT()
536 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in assumeSymGE()
565 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in assumeSymLE()
|
| D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol()
169 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeAux()
218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
| D | SimpleConstraintManager.h | 82 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
|
| D | ExprEngineC.cpp | 598 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()
611 vals = getBasicVals().consVals(V, vals); in VisitInitListExpr()
873 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
|
| D | ProgramState.cpp | 277 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
|
| D | ExprEngine.cpp | 1775 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1)); in processSwitch()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 145 BasicValueFactory &getBasicVals() const;
483 BasicValueFactory &getBasicVals() { in getBasicVals() function
721 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
722 return getStateManager().getBasicVals(); in getBasicVals()
|
| D | ExprEngine.h | 307 BasicValueFactory& getBasicVals() { in getBasicVals() function
308 return StateMgr.getBasicVals(); in getBasicVals()
|
| D | SymbolManager.h | 553 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
|