Hello and thank you for the nice bug report. I suggest installing the package libaws-dbg and pointing gdb at the sources in /usr/share/ada/adainclude/aws for a better stack trace.
Maybe you could try re-binding your reproducer with gnatbind -E for dynamic elaboration checks. That might give us additional insight. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org