On Mon, Aug 25, 2008 at 08:38, Rafael Espindola <espindola@google.com> wrote: > - const char *name = IDENTIFIER_POINTER (DECL_NAME(t)); > + const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME(t)); Space before '(t)'. OK with that change. Diego.