This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Autoconf manual's coverage of signed integer overflow & portability
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: eggert at CS dot UCLA dot EDU (Paul Eggert), autoconf-patches at gnu dot org, autoconf at gnu dot org, bug-autoconf at gnu dot org, bug-gnulib at gnu dot org, gcc at gcc dot gnu dot org
- Date: 03 Jan 2007 10:29:38 +0100
- Subject: Re: Autoconf manual's coverage of signed integer overflow & portability
- References: <200701030726.l037Q9Ai017019@localhost.localdomain>
Andrew Pinski <pinskia@physics.uc.edu> writes:
| >
| > kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes:
| >
| > >> >> Many portable C programs assume that signed integer overflow wraps around
| > >> >> reliably using two's complement arithmetic.
| > >> >
| > >>
| > >> I was looking for an adjective that mean the programs work on a wide
| > >> variety of platforms, and "portable" seems more appropriate than
| > >> "widely-used".
| > >
| > > Maybe just say what you mean, then: "Many C programs that work on a wide
| > > variety of platforms assume that ..."
| >
| > That's too long! I'll prepend an "In practice" instead.
|
| What about this:
| Old C programs that written against the C standard depend on signed
| overflow being defined as wrapping.
|
| And then reference the paper, "C traps and pitfalls" (which by the way
| was written by the founder of ADL for C++).
Andrew Keonig did not invent ADL. He, himself, finds it embarassing
people credit him for ADL. If you're interested in how ADL comes to
life, just go to the ISO C++ committee website and google for "name
lookup" for papers between 1991 and 1997.
-- Gaby