https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25508
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED Target Milestone|--- |5.0 --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Fixed so closing.(In reply to jos...@codesourcery.com from comment #3) > It looks like the documentation was added by > > r193508 | doko | 2012-11-14 21:29:15 +0000 (Wed, 14 Nov 2012) | 36 lines > > but without closing this bug. Most likely because he did not know there was a bug filed for this.