https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118512
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Thanks. IMO where is the truth is not very clear, but I don't think that we want to change the assembler at this point, so let's take it as the truth.