--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
I think for gdb it makes sense to simply accept both results.
Meanwhile I filed an internal bug report to get one of the
Gnat compiler engineers to fix the bug.
You are receiving this mail because:
You are on the CC list for the bug.