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 | 623 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr() 636 vals = getBasicVals().consVals(V, vals); in VisitInitListExpr() 896 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 | 145 BasicValueFactory &getBasicVals() const; 490 BasicValueFactory &getBasicVals() { in getBasicVals() function 755 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function 756 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
|