Home | History | Annotate | Download | only in Core

Lines Matching refs:GetRange

295   RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
416 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
465 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
480 RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
496 return GetRange(St, Sym);
509 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
528 return GetRange(St, Sym);
545 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
564 return GetRange(St, Sym);
575 return GetRange(St, Sym);
581 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
632 return GetRange(St, Sym);
639 return GetRange(St, Sym);
645 return GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);