https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105730
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Gleb Mazovetskiy from comment #7) > Note that the 3.4.11 has a single @. > All the other symbols have @@. This is expected and entirely correct.