diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-29 12:53:24 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-29 12:53:24 +0000 |
| commit | 5b1265cc8651f7395ee2009ccd610eadd8fdedf7 (patch) | |
| tree | fb72d81fbf379d5d9c327cfb9b48ec4427952477 /gcc/ada/doc | |
| parent | 5e865972a403481d8407c757e51681ffe4b1ddf3 (diff) | |
| download | gcc-5b1265cc8651f7395ee2009ccd610eadd8fdedf7.zip gcc-5b1265cc8651f7395ee2009ccd610eadd8fdedf7.tar.gz gcc-5b1265cc8651f7395ee2009ccd610eadd8fdedf7.tar.bz2 | |
[multiple changes]
2017-09-29 Justin Squirek <squirek@adacore.com>
* sem_ch8.adb (Note_Redundant_Use): Add guard to protect against false
redundant warnings.
2017-09-29 Yannick Moy <moy@adacore.com>
* sinput-c.adb: Remove unused with-clause on Ada.Unchecked_Conversion.
2017-09-29 Eric Botcazou <ebotcazou@adacore.com>
* doc/gnat_rm/representation_clauses_and_pragmas.rst: Minor rewording.
* doc/gnat_rm/implementation_defined_pragmas.rst (Optimize_Alignment):
Document the effect of pragma Optimize_Alignment (Space) on non-packed
record types.
* gnat_rm.texi: Regenerate.
From-SVN: r253284
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 3 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 3053013..1281758 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -4120,6 +4120,9 @@ Specifying SPACE also disables alignment promotions for standalone objects, which occur when the compiler increases the alignment of a specific object without changing the alignment of its type. +Specifying SPACE also disables component reordering in unpacked record types, +which can result in larger sizes in order to meet alignment requirements. + Specifying TIME causes larger default alignments to be chosen in the case of small types with sizes that are not a power of 2. For example, consider: diff --git a/gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst b/gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst index 8ff5224..5ad8e03 100644 --- a/gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/representation_clauses_and_pragmas.rst @@ -64,7 +64,7 @@ values are as follows: * *Records*. - For the normal non-packed case, the alignment of a record is equal to + For the normal unpacked case, the alignment of a record is equal to the maximum alignment of any of its components. For tagged records, this includes the implicit access type used for the tag. If a pragma ``Pack`` is used and all components are packable (see separate section on pragma |