http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45375 --- Comment #118 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2011-10-11 12:18:21 UTC --- Probably a Mozilla bug. See: https://bugzilla.mozilla.org/show_bug.cgi?id=693563