[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:       "Joseph S. Myers" <joseph () codesourcery ! com>
Date:       2007-01-30 0:37:05
Message-ID: Pine.LNX.4.64.0701300035180.14260 () digraph ! polyomino ! org ! uk
[Download RAW message or body]


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.

-- 
Joseph S. Myers
joseph@codesourcery.com

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