[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GCC optimizes integer overflow: bug or feature?
From: |
Dorit Nuzman |
Subject: |
Re: GCC optimizes integer overflow: bug or feature? |
Date: |
Tue, 19 Dec 2006 23:59:01 +0200 |
> * Andrew Pinski:
>
> > A simple loop like:
> > int foo ()
> > {
> > int a[N];
> > int i;
> > int n;
> >
> > for (i = 0; i <= n; i++)
> > ca[i] = 2;
> > }
> >
> > we cannot find how many iterations it runs without knowing that signed
> > types overflow.
>
> In this case, the assumption is not needed because the lack of
> overflow can be inferred from the validity of the expression ca[i] for
> all relevant i. However, in the general case, such information might
> not be available. I wonder if it is feasible to duplicate the loop
> code, once for positive n, and once for negative, or if this would
> lead to too much code bloat in real-world applications.
>
this transformation exactly was proposed here:
http://gcc.gnu.org/ml/gcc-patches/2006-12/msg00695.html
dorit
> By the way, as I've tried to describe here:
> <http://cert.uni-stuttgart.de/advisories/c-integer-overflow.php>
> variable range tracking can result in reintroduction of
> supposedly-fixed security vulnerabilities. 8-(
- Re: GCC optimizes integer overflow: bug or feature?, (continued)
- Re: GCC optimizes integer overflow: bug or feature?, Paolo Bonzini, 2006/12/22
- Re: GCC optimizes integer overflow: bug or feature?, Paolo Bonzini, 2006/12/22
- Re: GCC optimizes integer overflow: bug or feature?, Paul Eggert, 2006/12/29
- Message not available
- Re: GCC optimizes integer overflow: bug or feature?, Toon Moene, 2006/12/27
- Re: GCC optimizes integer overflow: bug or feature?, Joe Buck, 2006/12/20
- Re: GCC optimizes integer overflow: bug or feature?, Andrew Haley, 2006/12/20
- Re: GCC optimizes integer overflow: bug or feature?, Gabriel Dos Reis, 2006/12/20
- RE: GCC optimizes integer overflow: bug or feature?, Dave Korn, 2006/12/20
- Re: GCC optimizes integer overflow: bug or feature?,
Dorit Nuzman <=
- Re: GCC optimizes integer overflow: bug or feature?, Andrew Haley, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Robert Dewar, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Gabriel Dos Reis, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Andrew Haley, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Gabriel Dos Reis, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Robert Dewar, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Robert Dewar, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Zdenek Dvorak, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature?, Robert Dewar, 2006/12/19
- Re: GCC optimizes integer overflow: bug or feature? (was: avoid integer overflow in mktime.m4), Richard B. Kreckel, 2006/12/20