> -----Original Message----- > From: gcc-ow...@gcc.gnu.org [mailto:gcc-ow...@gcc.gnu.org] On Behalf > Of Paulo Matos > Sent: 29 July 2015 10:12 > To: Andrew Haley; gcc@gcc.gnu.org > Subject: RE: Expectations for 0/0 > > > > > -----Original Message----- > > From: Andrew Haley [mailto:a...@redhat.com] > > Sent: 28 July 2015 18:38 > > To: Paulo Matos; gcc@gcc.gnu.org > > Subject: Re: Expectations for 0/0 > > > > On 07/28/2015 04:40 PM, Paulo Matos wrote: > > > The block skips the test for ((unsigned int) xx << 1 == 0 && yy == > - > > 1), should we skip it if they're both zero as well? > > > > Yes. It's undefined behaviour. If we don't want to invoke nasal > > daemons we shouldn't do this. > > > Thanks. I will propose a patch to avoid this. >
My mistake. The check is already in the test but as I simplified the test, I ended up removing the check for 0 in the denominator. Apologies. -- Paulo Matos
