http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38644
--- Comment #39 from Ramana Radhakrishnan <ramana.r at gmail dot com> 2011-08-05 03:57:14 UTC --- On Fri, Aug 5, 2011 at 2:33 AM, jiangning.liu at arm dot com <gcc-bugzi...@gcc.gnu.org> wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38644 > > --- Comment #38 from Jiangning Liu <jiangning.liu at arm dot com> 2011-08-05 > 01:33:06 UTC --- > Hi Sebastian, > > I'm fixing this bug, and will send out a formal patch to community soon. > > Is it possible you send me your source code exposing the bug first, so I can > verify your problem can really be fixed with my local fix? I think this is just from the libstdc++ sources - look at that file from the build with --with-mode=thumb . Ramana