http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52554 --- Comment #2 from Andreas Schwab <schwab@linux-m68k.org> 2012-03-12 14:22:00 UTC --- 6.4.2.1 says that an identifier may contain "other implementation-defined characters".