diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-17 07:27:38 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-17 07:27:38 +0000 |
| commit | 02a2406dcd7202ddf2dc15783edd4b848c22b6d9 (patch) | |
| tree | b6b5735de0927822e0ecb101202cf01e7f7e5288 /gcc/ada/gnat_rm.texi | |
| parent | ed4adc99e36bfdc0aaeab0937995a3bb22959cce (diff) | |
| download | gcc-02a2406dcd7202ddf2dc15783edd4b848c22b6d9.tar.gz | |
2014-07-17 Gary Dismukes <dismukes@adacore.com>
* exp_disp.adb: Minor reformatting.
* exp_disp.adb: Minor code reorganization.
2014-07-17 Thomas Quinot <quinot@adacore.com>
* gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Do not
require an explicit SSO attribute definition clause on a composite type
just because one of its components has one.
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Loop_Entry): Rewrite
attribute out of existence if the enclosing pragma is ignored.
* sem_util.adb: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Expand_Array_Aggregate): Handle properly an
array aggregate expanded into assignments when it appears as a
local declaration in an inlined body.
2014-07-17 Doug Rupp <rupp@adacore.com>
* init.c [__ANDROID__]: Modify for ZCX.
* exp_aggr.adb: Minor reformatting
* sigtramp-armvxw.c, sigtramp-ppcvxw.c: Update comments.
2014-07-17 Robert Dewar <dewar@adacore.com>
* a-strunb-shared.ads, a-stwiun-shared.ads, a-stzunb-shared.ads,
exp_ch7.adb, g-pehage.ads, g-socket.ads, gnat_ugn.texi, gnat_ugx.texi,
scng.adb: Remove incorrect usage "allow to" and "allows to".
2014-07-17 Robert Dewar <dewar@adacore.com>
* exp_dist.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212737 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 22 |
1 files changed, 9 insertions, 13 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index b0b3907cc38..854e26e0f93 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -9303,9 +9303,8 @@ that make up scalar components are ordered within S: -- the former is used. @end smallexample -Other properties are -as for standard representation attribute @code{Bit_Order}, as defined by -Ada RM 13.5.3(4). The default is @code{System.Default_Bit_Order}. +Other properties are as for standard representation attribute @code{Bit_Order}, +as defined by Ada RM 13.5.3(4). The default is @code{System.Default_Bit_Order}. For a record type @var{S}, if @code{@var{S}'Scalar_Storage_Order} is specified explicitly, it shall be equal to @code{@var{S}'Bit_Order}. Note: @@ -9316,18 +9315,15 @@ specified explicitly and set to the same value. For a record extension, the derived type shall have the same scalar storage order as the parent type. -If a component of @var{S} has itself a record or array type, then it shall also -have a @code{Scalar_Storage_Order} attribute definition clause. In addition, -if the component is a packed array, or does not start on a byte boundary, then -the scalar storage order specified for S and for the nested component type shall -be identical. +If a component of @var{S} is of a record or array type, then that type shall +also have a @code{Scalar_Storage_Order} attribute definition clause. -If @var{S} appears as the type of a record or array component, the enclosing -record or array shall also have a @code{Scalar_Storage_Order} attribute -definition clause. +A component of a record or array type that is a packed array, or that +does not start on a byte boundary, must have the same scalar storage order +as the enclosing record or array type. -No component of a type that has a @code{Scalar_Storage_Order} attribute -definition may be aliased. +No component of a type that has an explicit @code{Scalar_Storage_Order} +attribute definition may be aliased. A confirming @code{Scalar_Storage_Order} attribute definition clause (i.e. with a value equal to @code{System.Default_Bit_Order}) has no effect. |