This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: TREE_UNCHANGING?

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.


r~
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]