Haha, 13 years later I got the response that my reported bug in GNAT (GNU Ada compiler) had been fixed a long time ago: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50263