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.
