This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: fwprop patch testing
- From: Segher Boessenkool <segher at kernel dot crashing dot org>
- To: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
- Cc: Daniel Berlin <dberlin at dberlin dot org>, GCC Development <gcc at gcc dot gnu dot org>, Steven Bosscher <stevenb at suse dot de>, David Edelsohn <dje at watson dot ibm dot com>
- Date: Thu, 29 Sep 2005 17:29:10 +0200
- Subject: Re: fwprop patch testing
- References: <200509241559.j8OFx9q25430@makai.watson.ibm.com> <4337B36E.4070104@lu.unisi.ch>
int f(int *);
int verbosity;
int *arr;
int last;
void g ()
{
int i;
if (last < 4000) {
if (verbosity >= 4) f(&verbosity);
for (i = 0; i <= last; i++) arr[i] = i;
}
}
If last != 0, arr+i cannot point to last for any i,
as last is not part of an array with two or more
elements. Does GCC perform loop versioning for
cases like this?
Segher