https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65723
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #1) > I think this is WONTFIX. If you use from=0, to=2 then it works fine ... including the a <= x < b requirement