[Top][All Lists]
[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".
- Re: Autoconf manual's coverage of signed integer overflow & portability, (continued)
- Re: Autoconf manual's coverage of signed integer overflow & portability, Paul Eggert, 2007/01/05
- Re: Autoconf manual's coverage of signed integer overflow & portability, Paolo Bonzini, 2007/01/03
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Bruce Korb, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Kenner, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Ian Lance Taylor, 2007/01/01
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Guenther, 2007/01/01
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Geert Bosch, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Joseph S. Myers, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Robert Dewar, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...",
Richard Kenner <=
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Guenther, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Guenther, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Robert Dewar, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Kenner, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Guenther, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Robert Dewar, 2007/01/02