Compiler warnings with GCC 14.0.0

[simonjwright]

Compiler warnings with GCC 14.0.0

[simonjwright]

Well, in spite of those dire warnings, the demo/ examples ran fine.

You could decorate type Exported_Procedure with with Size => Standard’Address_Size, but that looks quite GNAT-specific.

My attempt to concoct a demonstrator failed, even with your GPR and all the compilation switches!

[zertovitch]

Thanks for the test!
Regarding the first GNAT warning, it is legitimate: the range is actually empty.

  subtype Compile_Warning is Compile_Diagnostic
    range Compile_Diagnostic'Succ (err_obsolete_hat_name) .. err_obsolete_hat_name;
    --  ^ Fake, just, currently, an empty range!

This will heal with the appearance of the first kind of HAC warning (funny linguistic situation BTW: warnings about warnings).
The second one is a GNAT bug, spotted on Zip-Ada as well.
The third batch could be solved Address_To_Access conversions (I think there is a standard Ada.* package for that).

[zertovitch]

Regarding the Address issue (be it on GNAT's side or not), I have replaced the use of System.Address by an access : 18ada18 .
Does it prevent the warnings?

[simonjwright]

Does it prevent the warnings?

Yes, and the demo/ examples run OK.

[zertovitch]

Now with the appearance of the first HAC warning kind, the last GNAT 14.0.0 warning is the GNAT bug mentioned above.