This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PING^3] PR 21438 : Warning about division by zero depends on lexical form
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Manuel López-Ibáñez <lopezibanez at gmail dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>, Mark Mitchell <mark at codesourcery dot com>
- Date: Thu, 1 Mar 2007 20:13:53 +0000 (UTC)
- Subject: Re: [PING^3] PR 21438 : Warning about division by zero depends on lexical form
- References: <6c33472e0702100802v4469d3dehd49655d67a552da9@mail.gmail.com> <6c33472e0702180347x367cd15pa77c9d24143e0e24@mail.gmail.com> <6c33472e0703011018m3b24fd6by68723c3d8191b983@mail.gmail.com>
On Thu, 1 Mar 2007, Manuel López-Ibáñez wrote:
> Still pending resolution:
> http://gcc.gnu.org/ml/gcc-patches/2007-02/msg00925.html
I don't see what there is supposed to be here for me to resolve. If the
patch at <http://gcc.gnu.org/ml/gcc-patches/2007-01/msg01166.html> is
still awaiting approval rather than withdrawn or revised it is OK.
The int i = int(1.0/0.0); is a C++ matter, but is not a matter of a
division-by-zero warning; rather a matter that we should warn for
conversion of any constant infinity or NaN to an integer type, whether
that infinity or NaN is obtained by division by zero or by using built-in
functions. This should go with other warnings for out-of-range
floating-to-integer conversions.
--
Joseph S. Myers
joseph@codesourcery.com