This is the mail archive of the
mailing list for the GCC project.
Re: More on VIEW_CONVERT_EXPR
Richard Henderson wrote:
On Wed, Jul 21, 2004 at 10:32:05AM -0700, Mark Mitchell wrote:That wouldn't be too conservative?
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.
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.
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.