GCC 4.2.0 Status Report (2007-03-22)

[Diego Novillo]

Mark Mitchell wrote on 03/30/07 12:22:

> So, I think the right fix is (a) the change above, (b) remove the
> TREE_ADDRESSABLE setting from mark_vtable_entries (possibly replacing it
> with an assert.)

After removing the papering over TREE_ADDRESSABLE we were doing in the
aliaser, I found that other users of ADDR_EXPR are not consistently
setting the addressability bit.

This led me to this patch, which I'm now testing.  This removes the
workaround we had in the aliaser and consistently marks every DECL
that's put in an ADDR_EXPR as addressable.

One thing that I'm wondering about this patch is why hasn't this been
done before?  We seem to purposely separate TREE_ADDRESSABLE from
ADDR_EXPR.  Perhaps to prevent pessimistic assumptions?  The current
aliasing code removes addressability when it can prove otherwise.

This patch bootstraps all default languages.  I'll test Ada later on,
but I need input from all the FE folks.


Thanks.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20070330-29585.diff
Type: text/x-patch
Size: 1546 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20070330/8e162dc4/attachment.bin>