[Bug lto/53572] Some public symbols don't get to serialized LTO

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53572

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.2

--- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-07 13:06:14 UTC ---
Fixed.