Expectations for 0/0

[Paulo Matos]

> -----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.

-- 
Paulo Matos