This is the mail archive of the
mailing list for the GCC project.
On Fri, May 10, 2002 at 10:45:37AM -0700, Richard Henderson wrote:
> At the moment, I think not, but is that test case really going to help
> you at all with vtables? Cause I would think the most common form would
> include passing the THIS pointer to the function, so you wind up with
> "f(p)" which means that the function _can_ name p, which means that it
> can modify the contents.
Incidentally, your patch is broken for exactly this reason.
You'd need to be able to follow data flow to know which
restricted pointers leak into each function call so that
those function calls can clobber the accessible memory.