https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546
--- Comment #12 from Aldy Hernandez <aldyh at redhat dot com> --- Absolutely, but I didn't want to pollute the patch for this PR. Consider the patch to do so pre-approved :-). On Sat, Oct 2, 2021, 00:20 jakub at gcc dot gnu.org < gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 > > Jakub Jelinek <jakub at gcc dot gnu.org> changed: > > What |Removed |Added > > ---------------------------------------------------------------------------- > CC| |jakub at gcc dot gnu.org > > --- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> --- > Isn't the same thing true also for operator_rshift::op1_range? > I mean, (X >> Y) != 0 implies X != 0. > > -- > You are receiving this mail because: > You are the assignee for the bug. > You are on the CC list for the bug. > >
