------- Comment #4 from jakub at gcc dot gnu dot org 2008-10-07 14:18 ------- The trunk now mangles char16_t as Ds and char32_t as Di. Can this be closed? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37376