diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-22 13:58:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:58:41 +0000 |
| commit | 46ebb491f19cfdb9c8953afc0f30c6417555a2c1 (patch) | |
| tree | 6e2120ac3c3df305f644036a15d8bfa9dcfe51dd | |
| parent | ae3f6530573deaa7485be45662e506af7a56cfa9 (diff) | |
| download | gcc-46ebb491f19cfdb9c8953afc0f30c6417555a2c1.zip gcc-46ebb491f19cfdb9c8953afc0f30c6417555a2c1.tar.gz gcc-46ebb491f19cfdb9c8953afc0f30c6417555a2c1.tar.bz2 | |
[Ada] More complete information level for -gnatR4 output
This instructs -gnatR4 to also list the Etype of user-declared objects
if it is compiler-generated, for example in:
package P2 is
Arr_V : array (1 .. 5) of Integer;
end P2;
2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* repinfo.adb (List_Entities): Also list compiled-generated
types present as Etype of objects.
From-SVN: r273697
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/repinfo.adb | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 26af730..db77736 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2019-07-22 Eric Botcazou <ebotcazou@adacore.com> + * repinfo.adb (List_Entities): Also list compiled-generated + types present as Etype of objects. + +2019-07-22 Eric Botcazou <ebotcazou@adacore.com> + * sinfo.ads: Update the documentation about the Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags. diff --git a/gcc/ada/repinfo.adb b/gcc/ada/repinfo.adb index c378fb6..a277bab 100644 --- a/gcc/ada/repinfo.adb +++ b/gcc/ada/repinfo.adb @@ -563,6 +563,13 @@ package body Repinfo is E_Loop_Parameter, E_Variable) then + -- The type is relevant for an object + + if List_Representation_Info = 4 and then Is_Itype (Etype (E)) + then + Relevant_Entities.Set (Etype (E), True); + end if; + if List_Representation_Info >= 2 then List_Object_Info (E); end if; |