https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47122
--- Comment #4 from rep.dot.nop at gmail dot com <rep.dot.nop at gmail dot com> --- On January 18, 2016 3:57:22 PM GMT+01:00, "bernds at gcc dot gnu.org" <gcc-bugzi...@gcc.gnu.org> wrote: >Can this be closed? Sorry, yes, i think so.
