http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52537
--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2012-05-11 19:16:08 UTC --- Does this fix the problem?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52537
--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2012-05-11 19:16:08 UTC --- Does this fix the problem?