[PATCH] Document arithmetic overflow semantics

[Florian Weimer]

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.