http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&database=gcc&pr=8897 I am trying to fix this PR. What is the source code that results in the generation of the mentioned mangled name? -- Carlo Wood <carlo@alinoe.com>