[Bug middle-end/128137] New: Characters not supported by gas should be quoted

[antoyo at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128137

            Bug ID: 128137
           Summary: Characters not supported by gas should be quoted
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antoyo at gcc dot gnu.org
  Target Milestone: ---

Created attachment 65950
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65950&action=edit
Reproducer for the bug

Hi.
When compiling the reproducer with "gcc -c main.c", I get the following error:

/tmp/ccxGmHZm.s: Assembler messages:
/tmp/ccxGmHZm.s:3: Error: junk at end of line, first unrecognized character is
`:'
/tmp/ccxGmHZm.s:6: Error: unrecognized symbol type ""
/tmp/ccxGmHZm.s:6: Error: junk at end of line, first unrecognized character is
`:'
/tmp/ccxGmHZm.s:7: Error: expected comma after name `a' in .size directive
/tmp/ccxGmHZm.s:8: Error: junk at end of line, first unrecognized character is
`:'

I got this issue while compiling Rust for Linux with rustc_codegen_gcc, so this
will be needed to have correct Rust support.
I suspect that identifiers with more special characters than just : should be
quoted.

Thanks.