http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56038
--- Comment #5 from Kai Koehne <kai.koehne at digia dot com> 2013-03-26 12:26:04 UTC --- Can confirm that the patch fixes the issue when applied locally.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56038
--- Comment #5 from Kai Koehne <kai.koehne at digia dot com> 2013-03-26 12:26:04 UTC --- Can confirm that the patch fixes the issue when applied locally.