[llvm-commits] [patch] Define a canonical order for the pairs in the range metadata

[Rafael Espíndola]

On 30 May 2012 17:51, Nuno Lopes <nunoplopes at sapo.pt> wrote:
> Seems good to me.
> But what if the upper side overflows? something like:
> [0,5) and [6,1)
>
> I think this should be rejected as well, since the intervals are also
> overlapping.

Good catch!
I implemented that too and committed at r157741.

> Nuno
>
> P.S.: I think your check should be uge instead of gut, so that [0,1), [1,2)
> gets rejected.

The patch does reject it.

Cheers,
Rafael