On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez <[email protected]> wrote:
>
> I believe I've seen this idiom more than once. I know for sure I've
> used it in our ssa-range branch :). I'll hunt for the other uses and
> adjust accordingly.
domain_p?! Isn't that the same as varying_p()? Also
+ if (m_kind == VR_RANGE)
+ {
+ tree type = TREE_TYPE (type ());
+ value_range vr (VR_RANGE, TYPE_MIN_VALUE (type), TYPE_MAX_VALUE (type));
TYPE_MIN/MAX_VALUE is NULL for pointers
+ return equal_p (vr, /*ignore_equivs=*/true);
But equivs essentially are making the range smaller! The range
is the intersection of itself with all equiv ranges!
Richard.
+ }
> OK?
