http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46693
--- Comment #14 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2010-12-14 12:13:00 UTC --- It doesn't seem to fail for me with the RC for GCC 4.5.2 with -march=armv5te -mthumb -march=armv5te -march=armv7-a -march=armv7-a -mthumb at -O2, -O3 and -Os