http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57421
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- I couldn't check up to now but I assume this also happens with 4.8.1.
juergen.reuter at desy dot de Sun, 26 May 2013 11:14:24 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57421
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- I couldn't check up to now but I assume this also happens with 4.8.1.