http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53737
--- Comment #1 from Stephane Carrez <Stephane.Carrez at gmail dot com> 2012-06-20 21:35:02 UTC --- Created attachment 27670 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27670 Files to reproduce the bug To reproduce the bug: gnatchop gcc-bug.txt gcc -c util-serialize-mappers-vector_mapper.adb