http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50880
--- Comment #1 from Richard B. Kreckel <kreckel at ginac dot de> 2011-10-27 07:12:12 UTC --- Created attachment 25623 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25623 patch to fix the bug
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50880
--- Comment #1 from Richard B. Kreckel <kreckel at ginac dot de> 2011-10-27 07:12:12 UTC --- Created attachment 25623 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25623 patch to fix the bug