Searched refs:getBasicVals (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 385 BasicValueFactory &BV = getBasicVals(); in checkNull()
422 BasicValueFactory &BV = getBasicVals(); in GetRange()
465 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower); in assumeSymNE()
480 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt); in assumeSymEQ()
509 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymLTRange()
545 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGTRange()
581 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGERange()
617 return RS.Intersect(getBasicVals(), F, Lower, Upper); in getSymLERange()
645 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymLERange()
|
| D | SimpleConstraintManager.cpp | 100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol()
169 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeAux()
254 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
308 BasicValueFactory &BVF = getBasicVals(); in assumeSymWithinInclusiveRange()
|
| D | SimpleConstraintManager.h | 103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
|
| D | ExprEngineC.cpp | 634 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()
647 vals = getBasicVals().consVals(V, vals); in VisitInitListExpr()
907 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
|
| D | ProgramState.cpp | 277 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 146 BasicValueFactory &getBasicVals() const;
491 BasicValueFactory &getBasicVals() { in getBasicVals() function
756 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
757 return getStateManager().getBasicVals(); in getBasicVals()
|
| D | ExprEngine.h | 314 BasicValueFactory& getBasicVals() { in getBasicVals() function
315 return StateMgr.getBasicVals(); in getBasicVals()
|
| D | SymbolManager.h | 471 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
|