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

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

2021-03-19 Thread zeccav at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 Vittorio Zecca changed: What|Removed |Added Status|SUSPENDED |RESOLVED Resolution|---

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

2021-03-18 Thread zeccav at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #8 from Vittorio Zecca --- Address sanitizer of Version 11.0.1 current trunk miscompiles the Ada compiler, maybe a previous version would work. Undefined behavior sanitizer works. I am now trying to build the Ada compiler with gcc

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

2021-03-18 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #7 from Eric Botcazou --- > 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

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

2021-03-18 Thread zeccav at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #6 from Vittorio Zecca --- It is not that easy, unfortunately. If I compile the build with -gnata, thereby arming the pragma assert, the build fails. So I had to build without -gnata. Now trying to build Ada with gcc 9.1.0 Earlier

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

2021-03-17 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #5 from Eric Botcazou --- > I am very very rusty on Ada, what should I do to check that Id is good? Probably put back the original assert on line 155.

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

2021-03-17 Thread zeccav at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #4 from Vittorio Zecca --- I added pragma Assert (Id in Name_Entries.Table'Range); at namet.adb:156, but then I get at compile time namet.adb:156:25: warning: condition can only be False if invalid values present and the build

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

2021-03-17 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 Eric Botcazou changed: What|Removed |Added Status|WAITING |SUSPENDED --- Comment #3 from Eric

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

2021-03-17 Thread zeccav at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624 --- Comment #2 from Vittorio Zecca --- 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. So I do not know if this is a genuine compiler bug or