Question on vrp_meet in tree-vrp.c

[Richard Kenner]

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
result?