diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-05-16 10:14:19 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-05-16 10:14:19 +0000 |
| commit | a838051c27b1d8fc4027686eb4270c6ef4a51f44 (patch) | |
| tree | 333707cabd2d46ece30f6143925f4c1d23645f49 /gcc/ada/freeze.ads | |
| parent | 46729204a4bd1c5aad4856d9a4f20da54c586241 (diff) | |
| download | gcc-a838051c27b1d8fc4027686eb4270c6ef4a51f44.tar.gz | |
* exp_util.adb (Remove_Side_Effects): Also make a constant if we need
to capture the value for a small not by-reference record type.
* freeze.ads (Check_Compile_Time_Size): Adjust comment.
* freeze.adb (Set_Small_Size): Likewise. Accept a size in the range
of 33 .. 64 bits.
(Check_Compile_Time_Size): Merge scalar and access type cases. Change
variable name in array type case. For the computation of the packed
size, deal with record components and remove redundant test.
(Freeze_Array_Type): Also adjust packing status when the size of the
component type is in the range 33 .. 64 bits.
* doc/gnat_rm/representation_clauses_and_pragmas.rst: Turn primitive
into elementary type throughout. Minor tweaks.
(Alignment Clauses): Document actual alignment of packed array types.
(Pragma Pack for Arrays): List only the 3 main cases and adjust. Add
"simple" to the record case. Document effect on non packable types.
(Pragma Pack for Records): Likewise. Add record case and adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@236275 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/freeze.ads')
| -rw-r--r-- | gcc/ada/freeze.ads | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/freeze.ads b/gcc/ada/freeze.ads index 81f2e0001ba..079d7132abe 100644 --- a/gcc/ada/freeze.ads +++ b/gcc/ada/freeze.ads @@ -151,15 +151,15 @@ package Freeze is -- fact Gigi decides it is known, but the opposite situation can never -- occur. -- - -- Size is known at compile time, but the actual value of the size is - -- not known to the front end or is definitely 32 or more. In this case - -- Size_Known_At_Compile_Time is set, but the Esize field is left set + -- Size is known at compile time, but the actual value of the size is not + -- known to the front end or is definitely greater than 64. In this case, + -- Size_Known_At_Compile_Time is set, but the RM_Size field is left set -- to zero (to be set by Gigi). -- -- Size is known at compile time, and the actual value of the size is - -- known to the front end and is less than 32. In this case, the flag - -- Size_Known_At_Compile_Time is set, and in addition Esize is set to - -- the required size, allowing for possible front end packing of an + -- known to the front end and is not greater than 64. In this case, the + -- flag Size_Known_At_Compile_Time is set, and in addition RM_Size is set + -- to the required size, allowing for possible front end packing of an -- array using this type as a component type. -- -- Note: the flag Size_Known_At_Compile_Time is used to determine if the |