[Bug ada/99624] Address sanitizer detects heap-buffer-overflow in namet.adb

ebotcazou at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Mar 18 08:33:08 GMT 2021


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.


More information about the Gcc-bugs mailing list