http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49343
--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-06-11 18:27:49 UTC --- Created attachment 24492 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24492 Proposed fix 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?