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 Fri, Jul 08, 2005 at 06:18:03PM -0400, Daniel Berlin wrote:
>
> > - Pointer arithmetic used to confuse the new solver. If it saw
> > PTR + OFFSET, it would create one ANYTHING constraint for
> > OFFSET, which would then be transferred into the pointer as
> > "points-to anything" attribute.
>
> BTW, we can actually do better than this if we know that the offset is
> going to land on a field, and the user isn't just marching through the
> structure byte by byte. Then we can safely use a regular deref + offset
> constraint, and get much better results.
>
Yes, I forgot to mention this. I have tried very hard to not
change a lot of functionality. In the next phase, I will be
working on the IL representation, and fine tuning the analysis.
We will probably need a branch for that.
Diego.