[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