[Ada] List aspect Relaxed_Initialization in GNAT RM
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 21 Apr 2020 11:13:02 +0000 (13:13 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:14 +0000 (05:08 -0400)
commit6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4
treed36e2d12c1d55ae25c7f46645b28ba9fd328e55d
parent01264f72d9c90212dc62681f4fd6cbd16f78263d
[Ada] List aspect Relaxed_Initialization in GNAT RM

2020-06-18  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_aspects.rst
(Relaxed_Initialization): New implementation-defined aspect.
* doc/gnat_rm/implementation_defined_attributes.rst
(Initialized): New implementation-defined attribute.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst
gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
gcc/ada/gnat_rm.texi