http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- trail&database=gcc&pr=6526 Hello, can somebody check whether the patch attached to this PR is correct, and if so, check it in? Thanks, Dara