http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49533 --- Comment #13 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2011-09-13 10:57:28 UTC --- The fix is fine. Thanks. Please don't forget to also close Bug 49665 when you close this bug.