This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: fwprop patch testing
- From: Steven Bosscher <stevenb at suse dot de>
- To: Segher Boessenkool <segher at kernel dot crashing dot org>
- Cc: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>, Daniel Berlin <dberlin at dberlin dot org>, GCC Development <gcc at gcc dot gnu dot org>, David Edelsohn <dje at watson dot ibm dot com>
- Date: Sat, 1 Oct 2005 22:16:47 +0200
- Subject: Re: fwprop patch testing
- References: <200509241559.j8OFx9q25430@makai.watson.ibm.com> <4337B36E.4070104@lu.unisi.ch> <f722b89f51a0afe305da66f21dfdd764@kernel.crashing.org>
On Thursday 29 September 2005 17:29, Segher Boessenkool wrote:
> > 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?
No.
Gr.
Steven