http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38644
--- Comment #53 from Sebastian Huber <sebastian.hu...@embedded-brains.de> 2011-10-24 13:06:03 UTC --- I tested the above patch proposed by Mikael Pettersson (from 2010-05-26, more than one year ago) with GCC 4.6 20111021. It still fixes the test case provided by Dave Murphy (from 2008-12-27, nearly three years ago). I run the GCC C and C++ testsuite with the arm-rtemseabi4.11 target and the results are identical with and without the patch. Even if we have no perfect solution yet, it would be very kind if someone can check in an intermediate fix.