http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39950
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|gcc-bugs at gcc dot gnu.org |dje at gcc dot gnu.org
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-02
10:08:40 UTC ---
David, is this (still) an issue? In case, seems easy to fix..
