http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54306 --- Comment #3 from Nick Clifton <nickc at redhat dot com> 2012-08-19 07:13:25 UTC --- Hi Daniel, Thanks for catching this. It was a snafu, corrected with the obvious fix you suggested. Cheers Nick