RE: Autoconf manual's coverage of signed integer overflow & portability

2007-01-12 Thread Meissner, Michael
> -Original Message- > I would like to say the one thing I have not heard through this > discussion is the real reason why the C standards comittee decided > signed overflow as being undefined. All I can think of is they were > thinking of target that do saturation for plus/minus but wrapp

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-03 Thread Andrew Haley
Andrew Pinski writes: > > This will always cause a trap on x86, even with -fwrapv so really > -fwrapv has a bug on x86. I will file this bug sometime later > tomorrow. Oh and fixing this bug will actually slow down users > of -fwrapv even more than what it is currently does because > you c

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-03 Thread Gabriel Dos Reis
Paul Eggert <[EMAIL PROTECTED]> writes: | Here are further patches I checked into the Autoconf documentation to | reflect today's comments (some of which I received privately). Thanks | to all of you. The trickiest bit was documenting one simple way to | reliably detect overflow without converti

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-03 Thread Gabriel Dos Reis
Andrew Pinski <[EMAIL PROTECTED]> writes: | > | > [EMAIL PROTECTED] (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 m

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-03 Thread Paul Eggert
Andrew Pinski <[EMAIL PROTECTED]> writes: > the one thing I have not heard through this > discussion is the real reason why the C standards comittee decided > signed overflow as being undefined. I wasn't there, but my impression is that many of the optimization issues we've talked about in this t

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Andrew Pinski
> > Here are further patches I checked into the Autoconf documentation to > reflect today's comments (some of which I received privately). Thanks > to all of you. The trickiest bit was documenting one simple way to > reliably detect overflow without converting to unsigned and back. > (At least,

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Russell Shaw
Paul Eggert wrote: Andrew Pinski <[EMAIL PROTECTED]> writes: Let me make the point that signed overflow has been undefined since before the C standard was finialized and in fact there is a nice paper/book called "C Traps and Pitfalls[2]" which mentions all of this back in 1988. C Traps and Pi

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Andrew Pinski
> > [EMAIL PROTECTED] (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 pla

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Paul Eggert
Here are further patches I checked into the Autoconf documentation to reflect today's comments (some of which I received privately). Thanks to all of you. The trickiest bit was documenting one simple way to reliably detect overflow without converting to unsigned and back. (At least, I hope it's r

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Paul Eggert
[EMAIL PROTECTED] (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

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Paul Eggert
Andrew Pinski <[EMAIL PROTECTED]> writes: > Let me make the point that signed overflow has been undefined since > before the C standard was finialized and in fact there is a nice > paper/book called "C Traps and Pitfalls[2]" which mentions all of this > back in 1988. C Traps and Pitfalls, like K&

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Andrew Pinski
> > Wrap-around is very useful for digital signal processing. Saturation is also very useful for DSPs. This is why for embedded C[1], they are adding types which the user is able to decide which behavior they want instead of just being undefined. Let me make the point that signed overflow has

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Russell Shaw
Richard Kenner wrote: A few comments: Many portable C programs assume that signed integer overflow wraps around reliably using two's complement arithmetic. I'd replace "portable C programs" with "widely-used C programs". The normal use of "portable" means that it conforms to the standard.

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Robert Dewar
Richard Kenner wrote: A few comments: Many portable C programs assume that signed integer overflow wraps around reliably using two's complement arithmetic. I'd replace "portable C programs" with "widely-used C programs". The normal use of "portable" means that it conforms to the standard.

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Richard Kenner
> >> 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 jus

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Paul Eggert
[EMAIL PROTECTED] (Richard Kenner) writes: > A few comments: Thanks for the quick review. >> Many portable C programs assume that signed integer overflow wraps around >> reliably using two's complement arithmetic. > > I'd replace "portable C programs" with "widely-used C programs". The normal >

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Andrew Pinski
> > Today I updated the Autoconf manual to contain the following > description of the current situation with signed integer overflow. > This section of the manual is intended to advise programmers what to > do about portable C programs in this area. > > I think some discussion along these lines a

Re: Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Richard Kenner
A few comments: > Many portable C programs assume that signed integer overflow wraps around > reliably using two's complement arithmetic. I'd replace "portable C programs" with "widely-used C programs". The normal use of "portable" means that it conforms to the standard. > Conversely, in at lea

Autoconf manual's coverage of signed integer overflow & portability

2007-01-02 Thread Paul Eggert
Today I updated the Autoconf manual to contain the following description of the current situation with signed integer overflow. This section of the manual is intended to advise programmers what to do about portable C programs in this area. I think some discussion along these lines also belongs in