https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97474

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #14 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to rguent...@suse.de from comment #13)

Indeed, some useful information is that the parameter is a reference to the
most-derived object, not a base class; that should be useful to
devirtualization, particularly.

Looks like we already have DECL_BY_REFERENCE to indicate this situation, and
ipa-polymorphic-call already looks at it, so I'm going to just remove the
restrict.

DECL_BY_REFERENCE and the restrict were added in the same patch,
r0-60100-gd8472c75e8f6cdeabb60e2d743e58fb7ab46fef6, for PR16115.

Reply via email to