http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3558&database=gcc Hmmm.... nobody interested in that problem ??? :-(