http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60509
--- Comment #2 from Alexander Vogt <a.vogt at fulguritus dot com> --- Sorry, I did not see the other bug report... I agree - it is a duplicate!
a.vogt at fulguritus dot com Thu, 13 Mar 2014 13:47:30 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60509
--- Comment #2 from Alexander Vogt <a.vogt at fulguritus dot com> --- Sorry, I did not see the other bug report... I agree - it is a duplicate!