diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-06-23 23:50:18 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-13 10:01:20 +0000 |
| commit | 298bbf3c9be96b4eb158a319bf0ae3dfd18f9e8f (patch) | |
| tree | db331e0148e6f775e5761bb0f97de2bf4b47f95d /gcc/ada/gcc-interface/trans.cc | |
| parent | 45808a572bac3d1585c8b7de829f39a931f3555c (diff) | |
| download | gcc-298bbf3c9be96b4eb158a319bf0ae3dfd18f9e8f.zip gcc-298bbf3c9be96b4eb158a319bf0ae3dfd18f9e8f.tar.gz gcc-298bbf3c9be96b4eb158a319bf0ae3dfd18f9e8f.tar.bz2 | |
[Ada] Use actual types instead of formal types consistently in debug info
This makes sure that the objects present in instantiations always have the
actual type instead of a local variant of the formal type in the debugging
information generated by the compiler (this was already the case when the
actual type is a record, a protected or a task type).
gcc/ada/
* gcc-interface/decl.cc (Gigi_Cloned_Subtype): New function.
(gnat_to_gnu_entity) <E_Signed_Integer_Subtype>: Call it to get the
cloned subtype, if any.
<E_Floating_Point_Subtype>: Likewise.
<E_Array_Subtype>: Likewise.
<E_Record_Subtype>: Likewise.
<E_Access_Subtype>: Likewise.
Deal with all cloned subtypes on the main path.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.cc')
0 files changed, 0 insertions, 0 deletions