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: Florian Weimer <fw at deneb dot enyo dot de>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: kenner at vlsi1 dot ultra dot nyu dot edu, roger at www dot eyesopen dot com, gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org
- Date: Thu, 13 Feb 2003 22:49:01 +0100
- Subject: Re: [PATCH] Document arithmetic overflow semantics
- References: <20030213181519.0ACF3F2D5E@nile.gnat.com>
dewar@gnat.com (Robert Dewar) writes:
> b) I am afraid of optimizers running amok as in the above example
Shameless plug:
<http://cert.uni-stuttgart.de/advisories/c-integer-overflow.php>
The apt_get_chunk_size bug referenced in the end was actually
exploited by a worm.
Typical C programmers do not understand the issue. The rebel inside
still thinks that GCC should optimize aggressively in this area, just
to prove the point that C is unusable for any real work, but I doubt
that this is practical.