This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Virtual operands of &a[1]?
> Hello,
>
> > > OK. Is there some specification of what exactly may be a gimple
> > > expression somewhere? There is something in tree-simple.c, but it
> > > is inaccurate and outdated.
> > >
> > It shouldn't be. tree-simple.c contains the GIMPLE grammar. If it's
> > missing something, it should be fixed. The is_gimple_* predicates are
> > used to validate expressions.
>
> but we do not keep it in this shape. For example ccp hapily produces
> statements like
>
> *(&int_dest[1] + 4B) = 5
>
> whose lhs does not match the "'*' ID" pattern.
I've got into this problem too and it is bug in folding.
See http://gcc.gnu.org/ml/gcc-patches/2003-11/msg01721.html
Perhaps Richard will be still interested to look into it in the case you
do have testcase that still reproduce.
Honza
>
> Zdenek