http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52026
Jiří Paleček <jpalecek at web dot de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jpalecek at web dot de --- Comment #4 from Jiří Paleček <jpalecek at web dot de> 2012-08-17 15:35:22 UTC --- Could it be a duplicate of <a href="http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53488">53488</a>?