This is the mail archive of the gcc-patches@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: New flag: TREE_THIS_NOTRAP

>>>>> "Andrew" == Andrew Haley <aph@redhat.com> writes:

rth> So the NOTRAP bit is on the pointer and not the INDIRECT_REF?

Andrew> It has to be doesn't it?  The trapping in
Andrew>    *exp
Andrew> is a property of exp, not a property of *.

Suppose for example we have a sequence of field assignments via a
local variable:

   point *var = ...;
   var->x = 1;
   var->y = 1;

The first `*var' might trap, but the second one can't.
But in both cases wouldn't this be INDIRECT_REF<VAR_DECL> -- with the
same argument?  So if we set TREE_THIS_NOTRAP, we would end up with
an incorrect answer.

Am I misunderstanding?

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