This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: New flag: TREE_THIS_NOTRAP
Richard Henderson writes:
> On Fri, Jun 11, 2004 at 05:41:31PM +0100, Andrew Haley wrote:
> > case INDIRECT_REF:
> > + {
> > + tree t = TREE_OPERAND (expr, 0);
> > + return (TREE_THIS_NOTRAP (t) == false);
>
> So the NOTRAP bit is on the pointer and not the INDIRECT_REF?
It has to be doesn't it? The trapping in
*exp
is a property of exp, not a property of *. If someone attaches
another INDIRECT_REF to exp, it will not be marked as NOTRAP.
I could mark *both* exp and its INDIRECT_REF as notrap, I
guess.
> This seems likely to get lost during gimplification, unless
> you're taking extra special care...
Andrew.