how to enable External_Initialization, finally, no_raise etc ?

[evanescente-ondine]

I have -gnatX0 and the corresponding pragma and gnat_native_14.2.1_06bb3def`, but all I can use from experimental extensions are the conditional return statements. Experimental aspects are not recognized ("Adjust" is not a valid aspect identifier [enabled by default]).

pragma Extensions_allowed (All);
package main2 is
  S: constant String with External_Initialization => "essai.txt";
end main2;

[marc-adacore]

Hello @evanescente-ondine ,

All 3 are not part of GCC 14.2.

The list of experimental extension can be found in the GCC 14.2 documentation: https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gnat_rm/Experimental-Language-Extensions.html

The documentation found at (the one that you may land on when searching on google) https://gcc.gnu.org/onlinedocs/gnat_rm/Experimental-Language-Extensions.html is for the development version, which is going to be GCC 15.1 in a few months.