https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |SUSPENDED --- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > 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. OK, thanks for the confirmation. > So I do not know if this is a genuine compiler bug or it is due to > miscompilation. Most probably -fsanitize=address does not work correctly on Ada code. > The Ada compiler compiled with the undefined behavior sanitizer > compiles and works fine with a successful run of the testsuite. Interesting data point, thanks.