https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111246
--- Comment #15 from Luke Geeson <luke.geeson at cs dot ucl.ac.uk> --- I am sorry to you all - I have wasted your time. It was a bug in the translation tool. In the future I will make absolutely sure that I check everything before submitting a bug - this is an embarrassing mistake.
