This is the mail archive of the
mailing list for the GCC project.
Re: [RFC] gimplification of types (PR c/21536)
On Fri, May 27, 2005 at 06:34:43PM +0000, Joseph S. Myers wrote:
> On Fri, 27 May 2005, Jakub Jelinek wrote:
> > PR c/21536 fails because gimplify_type_sizes is only called
> > on variable sized types of variables, but not e.g. if
> > a variable has a type pointer to a variable sized type.
> > This means that the SAVE_EXPR's in those types stay accross
> > gimplification, and what's worse, in the testcase in the
> > patch below the SAVE_EXPR (which is shared between the type's
> > size/unit_size and several ARRAY_REFs) is resolved not in the
> > place where the type is defined (and mentions the SAVE_EXPR
> > first), but one place where the ARRAY_REF is used, at which place
> > x (resp. y) might contain already a different value and/or might
> > not dominate all the ARRAY_REFs that use the SAVE_EXPR.
> Would this be the same problem as or related to bug 20760?
Yes, it is the same bug (even fixed by the preliminary patch