Aliasing brokenness (Was: Re: [patch RFC] SH: Use FRAME_GROWS_DOWNWARD)

[Mark Mitchell]

Kenneth Zadeck wrote:

>> I think it's hard to read 6.5.2.3 to say anything other than that the 
>> mere visibilty implies that sturctures contained in the union with 
>> common initial sequences may alias.  I don't particularly like that 
>> rule, but I think that's what it says.
>>
> And can we assume that visibility does NOT mean in some other 
> compilation unit.

Right.  Visibility means what people usually call being "in scope".

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