Frank Ch. Eigler
Wed Jun 16 17:35:00 GMT 2004

aph wrote:

> [...]
> + /* Nonzero means this node will not trap.  In an INDIRECT_REF, means
> +    accessing the memory pointed to won't generate a trap.  However,
> +    this only applies to an object when used appropriately: it doesn't
> +    mean that writing a READONLY mem won't trap.  */
> [...]

This flag could be useful for mudflap's purposes also, in that the
passes could treat incoming INDIRECT_REFs marked with this flag as
"not to be instrumented".  However, I am a little confused about the
exact meaning of "used appropriately" above - it sounds a little less
restricted than mudflap's notions of pointer checking.

- FChE

More information about the Gcc-patches mailing list