This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH to compute_flow_insensitive_aliasing for c++/27768
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: Jason Merrill <jason at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 03 Jul 2006 16:12:36 -0400
- Subject: Re: PATCH to compute_flow_insensitive_aliasing for c++/27768
- References: <44A2F57B.8010309@redhat.com>
Jason Merrill wrote:
> The bug here was that there were some may_aliases in one alias set that
> never made it into the bitmap representation, so when that set was
> merged into another in group_aliases they were lost and so the store to
> w.p looked dead.
>
> Fixed by explicitly copying the may_aliases from the annotations into
> the bitmap rather than expecting them to be recreated.
>
This is fine.
The alias grouping code is a bit wonky, and in a perfect world, this
patch would not be necessary, because we wouldn't have both the
may-aliases list, and the separate bitmap used for grouping.
We don't yet live in this world :)
--Dan