https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88129
--- Comment #3 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 21 Nov 2018, ubizjak at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88129 > > Uroš Bizjak <ubizjak at gmail dot com> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |ebotcazou at gcc dot gnu.org > > --- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> --- > (In reply to Richard Biener from comment #1) > > So simply undo the DF merge error? > > Eric (CC'd) said elsewhere that the additional blockage might be needed for > DF. I'd doubt that, it does look like a simple merge oversight. I'd say remove it now, there's plenty of time to re-instantiate it if it breaks sth. On trunk only of course.
