On 15 October 2013 11:06, Chris Redpath <Chris.Redpath@arm.com> wrote:
 
Pretty strange to have a compiler bug like this, but I'm happy with the change. Did you raise it against the toolchain?

Yes, there's a bug been filed for it.