https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > If I compile the build with -gnata, thereby arming the pragma assert, > the build fails. Then this proves that the sanitizer does not work since the assertion does not trigger in a regular build, so there is no need to dig deeper. > Did you try building Ada with address sanitation? No, I don't think so.