diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-21 13:13:02 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-18 05:08:14 -0400 |
commit | 6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4 (patch) | |
tree | d36e2d12c1d55ae25c7f46645b28ba9fd328e55d /gcc/alloc-pool.c | |
parent | 01264f72d9c90212dc62681f4fd6cbd16f78263d (diff) | |
download | gcc-6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4.zip gcc-6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4.tar.gz gcc-6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4.tar.bz2 |
[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.
Diffstat (limited to 'gcc/alloc-pool.c')
0 files changed, 0 insertions, 0 deletions