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]?
On Fri, 2003-11-28 at 18:27, Jan Hubicka wrote:
> > 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.
>
Yes, if we are still getting such expressions, we should fix them. Test
case?
Diego.