Re: Opaque build failure in wisitoken_grammar_runtime.adb

[Simon Wright]

On 5 Sep 2023, at 15:59, Simon Wright <simon.j.wright@mac.com> wrote:

The (likely) problem is that this compilation was run with -gnatwe, => treat warnings as errors. GNAT is silent about this behaviour; it’d be good if the "warning" message actually said that it was being treated as an error.

I tried with GCC 13.1.0, "alr exec -- gprbuild -P emacs_ada_mode.gpr -cargs -v", and got (extracting the relevant details)

/opt/gcc-13.1.0-aarch64/libexec/gcc/aarch64-apple-darwin21/13.1.0/gnat1 -O3 wisitoken-followed_by.adb -gnatA -gnat2020 -fstack-check=specific -g -gnatfqQ -gnatw.d -gnatwaBCeJL -fno-var-tracking-assignments -gnatn -gnaty3abcefhiklnOprtx -gnatyM120

wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not modified, could be declared constant [-gnatwk]

(so this was in a different file).

I don’t know where the -gnatwe (the 'e' in '-gnatwaBCeJL' came from — oh, it’s in stephes_ada_library_3.7.2, standard_common_alire.gpr. Personally I’d try to leave more of these switches to Alire’s config/<crate>_config.gpr, though I see that -gnatwe doesn’t feature in either the development or validation profiles.

The two "warnings" are

wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not modified, could be declared constant [-gnatwk]

wisitoken_grammar_runtime.adb:197:13: warning: unreachable code [enabled by default]