http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49343
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-06-13 12:30:02 UTC --- > This is a proposed (fully tested) fix. How do you want me to add a testcase? > Should I just add the test-case attached to this bug to gcc/testsuite/gnat.dg? Yes, you can add it unmodified to the gnat.dg testsuite, thanks in advance.