[PATCH] Improve PR30911 and PR31023, Ada and VRP

[Richard Kenner]

> It's not independend from range bounds, it's just not the only reason for 
> invalidity.  But we aren't talking about other reasons for invalidity.  
> We are talking only about bound ranges.  And about the fact that these 
> bounds (as manifested via subtypes) can't be relied upon in any 
> interesting way, and hence are useless.  

I don't follow: in the message to which you are replying, I said very
precisely when they can be relied on and what they can be used for.