This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Document arithmetic overflow semantics
- From: Fergus Henderson <fjh at cs dot mu dot oz dot au>
- To: Segher Boessenkool <segher at koffie dot nl>
- Cc: Robert Dewar <dewar at gnat dot com>, bosch at gnat dot com, gcc-patches at gcc dot gnu dot org,gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu
- Date: Tue, 18 Feb 2003 16:59:14 +1100
- Subject: Re: [PATCH] Document arithmetic overflow semantics
- References: <20030216124140.1F6D8F2D53@nile.gnat.com> <3E51B850.80101@koffie.nl>
On 18-Feb-2003, Segher Boessenkool <segher@koffie.nl> wrote:
> Of course, but I can't come up with an example where the
> compiler can't easily warn "unreachable code deleted".
The compiler could easily issue such warnings, but the problem is that
there would be too many false alarms. Having unreachable code at the
tree or RTL level may be quite common, especially in conjunction with macros,
C++ templates, automatically generated source files (e.g. yacc), etc.
--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.