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.
