diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:06:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:06:13 +0200 |
| commit | 17a3564142202cb76c9fede9cd489d9769f5560b (patch) | |
| tree | d7edba94051e2f05d3b33ffe825fe4650e50e863 /gcc/ada/sem_ch3.adb | |
| parent | 19634e40b7f905c8bb5ff7f1095829b91b718532 (diff) | |
| download | gcc-17a3564142202cb76c9fede9cd489d9769f5560b.zip gcc-17a3564142202cb76c9fede9cd489d9769f5560b.tar.gz gcc-17a3564142202cb76c9fede9cd489d9769f5560b.tar.bz2 | |
[multiple changes]
2014-06-13 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Minor fixes.
* gnat_ugn.texi: Added a missing "@itemize".
2014-06-13 Robert Dewar <dewar@adacore.com>
* debug.adb: Remove -gnatd.1 flag documentation.
* layout.adb (Layout_Type): Remove special handling of size
for anonymous access type.
* sem_ch3.adb (Replace_Type): Remove special handling of size
for anonymous access type.
From-SVN: r211620
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 22 |
1 files changed, 4 insertions, 18 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 03e9154..f9ccf5b 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -13568,30 +13568,16 @@ package body Sem_Ch3 is Set_Etype (Acc_Type, Acc_Type); Set_Scope (Acc_Type, New_Subp); - -- Set size of anonymous access type. Note that anonymous - -- access to Unconstrained always uses thin pointers. This - -- avoids confusion for the case where two types that should - -- conform but end up differning, because in one case we can - -- see the unconstrained designated type, and in the other - -- case we can't see it yet (full type declaration not seen - -- yet), so we default to thin in that case anyway. - - -- For now, for the access to unconstrained array scase, we - -- are making the above change only if debug flag -gnatd.1 - -- is set. That's because the change, though almost - -- certainly correct, is causing gnatcoll regressions - -- which we have to sort out ??? + -- Set size of anonymous access type. If we have an access + -- to an unconstrained array, this is a fat pointer, so it + -- is sizes at twice addtress size. if Is_Array_Type (Desig_Typ) and then not Is_Constrained (Desig_Typ) - and then not Debug_Flag_Dot_1 then Init_Size (Acc_Type, 2 * System_Address_Size); - -- Normal case. This is what we intend to do always when we - -- finally install the change discussed above. In the case - -- of access to unconstrained array, then we take this path - -- for now only if -gnatd.1 debug flag is set. + -- Other cases use a thin pointer else Init_Size (Acc_Type, System_Address_Size); |