https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624
--- Comment #6 from Vittorio Zecca <zeccav at gmail dot com> --- It is not that easy, unfortunately. If I compile the build with -gnata, thereby arming the pragma assert, the build fails. So I had to build without -gnata. Now trying to build Ada with gcc 9.1.0 Earlier versions do not work. Did you try building Ada with address sanitation?