More on VIEW_CONVERT_EXPR

[Mark Mitchell]

Richard Henderson wrote:

>On Wed, Jul 21, 2004 at 10:32:05AM -0700, Mark Mitchell wrote:
>  
>
>>Zack Weinberg wrote:
>>    
>>
>>>Uh, *(type2 *)&X doesn't work in the general case due to the aliasing
>>>rules, whereas I get the impression V_C_E is expected to work always.
>>>
>>>
>>>      
>>>
>>Good point!
>>
>>I'm not sure if there's a way around that.  I was just trying to think 
>>of a way to keep this on the front-end's side of the fence.
>>    
>>
>
>Certainly there's a way around it if the front end cares --
>the two types get put in the same alias set.
>  
>
That wouldn't be too conservative?

What's your thinking here vis a vis the idea of moving this back into 
Ada-land?  I'm not terribly eager to do that; just thinking.

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