http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58133
--- Comment #3 from Sven <sven.koehler at gmail dot com> --- (In reply to Richard Earnshaw from comment #2) > This is a known issue. So what needs to be done? Where do I find the source/configuration/whatever of the code generator for thumb mode?