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