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: [PATCH] Fix PR45623

From: Michael Matz <matz at suse dot de>
To: Richard Guenther <rguenther at suse dot de>
Cc: gcc-patches at gcc dot gnu dot org
Date: Thu, 16 Sep 2010 14:45:49 +0200 (CEST)
Subject: Re: [PATCH] Fix PR45623
References: <alpine.LNX.2.00.1009161303040.28912@zhemvz.fhfr.qr>

Hi,

On Thu, 16 Sep 2010, Richard Guenther wrote:

> This is the trunk variant to fix PR45623, points-to analysis not
> handling the GCC extension of type-punning through unions.  The
> least costly and pessimizing fix is to treat all pointer extractions
> from unions as extracting &ANYTHING, which the following implements.

We discussed to do this only when the pointer member actually overlaps 
with any non-pointer member.  Too ugly to check to be worthwhile?

Ciao,
Michael.

Follow-Ups:
- Re: [PATCH] Fix PR45623
  - From: Richard Guenther

References:
- [PATCH] Fix PR45623
  - From: Richard Guenther

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