This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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
I posted).

	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]