https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97474
--- Comment #16 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 26 Jan 2021, jason at gcc dot gnu.org wrote: > 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. Thanks - I'll see to deal with any PTA fallout if it arises.