[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc-patches
Subject:    Re: PR 21438 : Warning about division by zero depends on lexical   form
From:       Mark Mitchell <mark () codesourcery ! com>
Date:       2007-01-30 0:42:11
Message-ID: 45BE9463.8030108 () codesourcery ! com
[Download RAW message or body]

Dirk Mueller wrote:
> On Monday, 29. January 2007 23:50, Mark Mitchell wrote:
> 
>> In the absence of a clear reason for change, we should preserve existing
>> behavior, so my feeling is that we shouldn't warn.
> 
> Note that your previous objection to my patch (which was similar) was that we 
> should warn about: 
> 
>   int i = int(0.0/0.0)

Yes, I think we should warn about that.  However, I'm not sure why I
objected to your patch on those grounds; it seems unreasonable to me
now.  I think that the issue of context matters, but the issue of
lexical form does not, so fixing up the lexical form issue seems like a
fine step, even if it leaves the context issue.

Anyhow, I apologize for being inconsistent.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713
[prev in list] [next in list] [prev in thread] [next in thread]