http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p r=10387 We need the preprocessed source code that triggers the bug, together with the command line options. Please check http://gcc.gnu.org/bugs.html. Giovanni Bajo