bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."


From: Richard Kenner
Subject: Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
Date: Mon, 01 Jan 2007 12:53:48 EST

> Still, in practical terms, it is true that overflow
> being undefined is unpleasant. In Ada terms, it would
> have seemed better in the C standard to reign in the
> effect of overflow, for instance, merely saying that
> the result is an implementation defined value of the
> type, or the program is terminated. Any other outcome
> seems unreasonable, and in practice unlikely.

My feeling is that GCC, even in its most agressive mode, should treat
overflow as implementation dependent.  I don't think that there's any
optimization that depends on it being undefined in the "full sense".




reply via email to

[Prev in Thread] Current Thread [Next in Thread]