On Thu, May 17, 2018 at 12:25 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > The patch looks OK to me, modulo: > >> + && ! (INTVAL (range) & (HOST_WIDE_INT_1U << (width - 1)))) > > I'd use UINTVAL instead of INTVAL here.
Thanks. Committed with that change. Jim