http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56537
Martin von Gagern <Martin.vGagern at gmx dot net> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |DUPLICATE --- Comment #1 from Martin von Gagern <Martin.vGagern at gmx dot net> 2013-03-05 14:10:14 UTC --- Looks like a duplicate of bug #54277. Sorry for the noise, but I mixed up my searches and missed that hit while writing the report. *** This bug has been marked as a duplicate of bug 54277 ***