Question on vrp_meet in tree-vrp.c

[Sebastian Pop]

Richard Kenner wrote:
> [Sorry for the missing line in my last message.]
> 
> I'm watching it deal with 
> 
>           # small_1 = PHI <32(0), 1(1)>
> 
> vrp_meet is called with [32, 32] and [1,1].
> 
> It determines that the ranges don't intersect and then comes up with
>  ~[0,0] since neither contain zero.  But wouldn't [1,32] be a better
> result?

yes, [1, 32] is included in [MIN_type, MAX_type] - [0,0] and thus it
is more precise.