[PATCH] Document arithmetic overflow semantics

[Fergus Henderson]

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.