[Ada] Ada 202x AI12-0192 "requires late initialization"

Pierre-Marie de Rodat derodat@adacore.com
Wed Jun 10 13:35:40 GMT 2020


Working on this AI it appeared that GNAT wasn't implementing the Ada
2012 notion of "require late initialization", so plug this hole and
implement the new rule from AI12-0192 at the same time.

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-10  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* exp_ch3.adb (Build_Init_Statements): Implement the notion of
	"require late initialization".
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 9958 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20200610/501ae322/attachment-0001.bin>


More information about the Gcc-patches mailing list