https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624
--- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> --- Yes, probably gcc -fsanitize=address is miscompiling the Ada compiler. I had to take out the -gnata option to disable pragma assert that was failing. So I do not know if this is a genuine compiler bug or it is due to miscompilation. The Ada compiler compiled with the undefined behavior sanitizer compiles and works fine with a successful run of the testsuite.