This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [stage 2 projects] Enable new points-to solver
On Sunday 10 July 2005 02:33, Diego Novillo wrote:
> On Fri, Jul 08, 2005 at 06:10:31PM -0400, Diego Novillo wrote:
> > This patch finally enables the new points-to solver by making it
> > part of the alias machinery.
>
> This is what I committed. I needed a further tweak to the
> operand scanner. We used to have a micro-optimization when
> adding V_MAY_DEFs for alias sets. If a particular member of the
> alias set was a readonly variable, we would convert the V_MAY_DEF
> into a VUSE.
>
> Turns out that this is not such a good idea. In some libstdc++
> testcases we were getting alias sets with nothing but readonly
> members. And yet, the pointer dereference was a store. The
> points-to sets was correct, so I think the TREE_READONLY bit is
> not too reliable.
Isn't this worth a bug report? There may be other places where we
expect that TREE_READONLY is reliable...
Gr.
Steven