On Tue, Aug 20, 2013 at 4:44 AM, Eric Botcazou <ebotca...@adacore.com> wrote: >> Dollar sign is not a valid character in symbols on some platforms, such as >> AIX. > > Sure, but DECL_NAME isn't used for any symbol here, unlike > DECL_ASSEMBLER_NAME.
Okay, just wanted to make sure. Thanks, David