reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
399 if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty()) 492 return V->Intersect(BV, F, R->Negate(BV, F)); 492 return V->Intersect(BV, F, R->Negate(BV, F)); 496 return R->Negate(BV, F); 502 RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T)); 506 return assumeNonZero(BV, F, Sym, Result); 510 return applyBitwiseConstraints(BV, F, Result, SIE); 569 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower); 584 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt); 596 return F.getEmptySet(); 607 return F.getEmptySet(); 613 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); 636 return F.getEmptySet(); 643 return F.getEmptySet(); 649 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); 672 return F.getEmptySet(); 685 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); 704 return F.getEmptySet(); 721 return RS().Intersect(getBasicVals(), F, Lower, Upper); 754 RangeSet New(RangeLT.addRange(F, RangeGT));