[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 Eric Botcazou changed: What|Removed |Added Status|WAITING |NEW --- Comment #9 from Eric Botcazou

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread aj at ianozi dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #8 from aj at ianozi dot com --- (In reply to simon from comment #7) > I think it’s the -gnatVa (I took out the -f*sections and all the style > options except a simple -gnaty). simon, you are correct; I independently went through com

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #7 from simon at pushface dot org --- I *can* reproduce with /opt/gcc-13.1.0-aarch64/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatwa -gnatw.X -gnatVa -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread dkm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #6 from Marc Poulhiès --- `alr -v build -- --keep-temp-files` should provide the expected commands. You should have all the gcc invocations + be able to see the TMP files used with `-gnatem` and `-gnatec`.

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #5 from Eric Botcazou --- > Oh, huh. When I build it using gnatmake there's no issues, e.g. > `gnatmake testing.adb` Interesting. Can you pass -v to GPRbuild to display the command line?

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread aj at ianozi dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 aj at ianozi dot com changed: What|Removed |Added CC||aj at ianozi dot com --- Comment

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 Eric Botcazou changed: What|Removed |Added Last reconfirmed||2023-05-11 CC|

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread dkm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 --- Comment #2 from Marc Poulhiès --- Can't reproduce on x86_64-linux trunk, 13.1, 12.3, 12.2, 11.3, see https://ada.godbolt.org/z/Gbv9Wc93E Can you get the exact compiler invocation?

[Bug ada/109798] Gnat Bug Detected

2023-05-11 Thread simon at pushface dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798 simon at pushface dot org changed: What|Removed |Added CC||simon at pushface dot org --