------- Comment #3 from ludovic at ludovic-brenta dot org 2009-09-05 07:39 ------- Created an attachment (id=18501) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18501&action=view) Object and executable files, plus output of -gnatDg, on 64-bit x86-64 (amd64).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41100
