Richard Guenther - Re: [PING] pointer_map (original) (raw)

This is the mail archive of the gcc-patches@gcc.gnu.orgmailing list for the GCC project.

Diego Novillo wrote:

Paolo Bonzini wrote on 02/02/07 08:51:

The patch is at http://gcc.gnu.org/ml/gcc-patches/2006-12/msg00466.html

This could be really useful. I've wanted to have something like this in the past. Since you are here, would it be hard to add a pointer_set_remove() function?

Well, no -- just the time needed to look up the algorithm and implement it. Still, I'd prefer to do one step at a time.

I think you need a GWP to approve this. Dunno if this has a named maintainer.

It's in the middle-end, but all the possible uses for it that I mentioned in the previous e-mail are in tree-SSA. ;-)