]> gcc.gnu.org Git - gcc.git/commit
[Ada] Clean up uses of Esize and RM_Size
authorBob Duff <duff@adacore.com>
Fri, 2 Jul 2021 15:41:28 +0000 (11:41 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Sep 2021 15:24:57 +0000 (15:24 +0000)
commitb23cdc01588b60f52a8c70c8f4465a068b49d317
tree6e4640413b49f9c2a3ede3201136938fca7f5db7
parente9068967876383bf0d9280b4f455fd50e7faf152
[Ada] Clean up uses of Esize and RM_Size

gcc/ada/

* einfo-utils.adb: Add support (currently disabled) for using
"initial zero" instead of "Uint_0" to represent "unknown".  Call
Known_ functions, instead of evilly duplicating their code
inline.
* fe.h (No_Uint_To_0): New function to convert No_Uint to
Uint_0, in order to preserve existing behavior.
(Copy_Esize, Copy_RM_Size): New imports from Einfo.Utils.
* cstand.adb: Set size fields of Standard_Debug_Renaming_Type
and Standard_Exception_Type.
* checks.adb, exp_attr.adb, exp_ch3.adb, exp_ch5.adb,
exp_ch6.adb, exp_pakd.adb, exp_util.adb, freeze.adb, itypes.adb,
layout.adb, repinfo.adb, sem_attr.adb, sem_ch12.adb,
sem_ch13.adb, sem_ch13.ads, sem_ch3.adb, sem_ch7.adb,
sem_util.adb: Protect calls with Known_..., use Copy_...  Remove
assumption that Uint_0 represents "unknown".
* types.ads (Nonzero_Int): New subtype.
* gcc-interface/decl.c, gcc-interface/trans.c: Protect calls
with Known_... and use Copy_...  as appropriate, to avoid
blowing up in unknown cases. Similarly, call No_Uint_To_0 to
preserve existing behavior.
24 files changed:
gcc/ada/checks.adb
gcc/ada/cstand.adb
gcc/ada/einfo-utils.adb
gcc/ada/exp_attr.adb
gcc/ada/exp_ch3.adb
gcc/ada/exp_ch5.adb
gcc/ada/exp_ch6.adb
gcc/ada/exp_pakd.adb
gcc/ada/exp_util.adb
gcc/ada/fe.h
gcc/ada/freeze.adb
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/trans.c
gcc/ada/itypes.adb
gcc/ada/layout.adb
gcc/ada/repinfo.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch13.ads
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch7.adb
gcc/ada/sem_util.adb
gcc/ada/types.ads
This page took 0.062661 seconds and 5 git commands to generate.