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