Expectations for 0/0

[Paulo Matos]

> -----Original Message-----
> From: gcc-owner@gcc.gnu.org [mailto:gcc-owner@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:aph@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