[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:39:49
Message-ID: 45BE93D5.8060003 () codesourcery ! com
[Download RAW message or body]
Joseph S. Myers wrote:
> On Tue, 30 Jan 2007, Manuel López-Ibáñez wrote:
>
>> It seems that, as Dirk explains, this is actually the intended behaviour:
>>
>> Joseph says: "the C front end doesn't
>> warn for division by a floating point zero constant (although it warns for
>> division of a floating point value by an integer zero) since explicit
>> division by 0.0 is used as a way of generating Inf and NaN."
>> http://gcc.gnu.org/ml/gcc-patches/2006-01/msg02184.html
>>
>> So I think that the PR is invalid and thus this patch is useless. :-(
>>
>> Am I wrong?
>
> I was stating the existing behavior in full knowledge of the PR, not
> approving of the existing behavior. I think the PR is correct.
Oh, well, then: Manuel, I think your patch is still alive.
--
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic