This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: More on VIEW_CONVERT_EXPR
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: zack at codesourcery dot com
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Wed, 21 Jul 04 14:07:04 EDT
- Subject: Re: More on VIEW_CONVERT_EXPR
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.
Correct. But it's not just aliasing. It's alignment too. You can have
a packed record that contains another record at a position that's not at
its natural alignment and then do a V_C_E of that field. This may sound
obscure, but it happens in real Ada code quite a lot of the time.