Re: More on VIEW_CONVERT_EXPR

[Mark Mitchell <mark at codesourcery dot com>]

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