http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53604
--- Comment #6 from Yuri Gribov <tetra2005 at gmail dot com> 2012-06-13 12:30:27 UTC --- Paul, I used April version of Linaro gcc toolchain so you may want to give it a try. If it still doesn't work you'll probably need to attach a repro code here.