https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #7 from Andrew Pinski ---
maybe have the front-end emit (if -fdelete-null-pointer-checks is on),
if (ref == NULL) __builtin_unreachable();
This might most cases, how many I don't know.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #6 from Richard Biener ---
(In reply to Eric Botcazou from comment #5)
> > As of pointer vs. reference types this shouldn't matter here as you
> > annotate actualy tcc_reference trees, not types.
>
> What Andrew meant is that one can
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #5 from Eric Botcazou ---
> As of pointer vs. reference types this shouldn't matter here as you
> annotate actualy tcc_reference trees, not types.
What Andrew meant is that one can think that it would be valid to set the flag
on tcc_r
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #4 from Richard Biener ---
(In reply to Eric Botcazou from comment #3)
> > The TREE_THIS_NOTRAP macro came up in email the other day, and it seemed to
> > me that it would be useful to set on C++ references, since they are required
> >
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #2 from Andrew Pinski ---
The problem is the middle-end treats pointers and references as the same so
sometimes it removes the casting between the pointer type and reference types.
GCC has no representation of conditional no trapping
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58920
--- Comment #1 from Jason Merrill ---
Created attachment 31109
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31109&action=edit
Simplified testcase
Here's a simplified version of one of the ext_pointer testcases. Compiling it
with -O -fstri
