GCC 3.5 Status (2004-08-29)

[Mark Mitchell]

Steven Bosscher wrote:

>On Monday 30 August 2004 03:12, Mark Mitchell wrote:
>  
>
>>Perhaps you can wait until SRA runs, and then just DTRT for objects that
>>get SRA'd.
>>    
>>
>
>Alias structured are never SRA'd.
>  
>
Certainly, in Dan's example:

x = a.f
c = a.e
a.e = 5
c = a.f

it should be possible to SRA "a" without any alias information at all, 
other than knowing that in C fields cannot overlap and that "a" is a 
struct, rather than a union.  I'm not saying that our implementation can 
do this; only that, it should be possible.

-- 
Mark Mitchell
CodeSourcery, LLC
(916) 791-8304
mark@codesourcery.com