diff options
author | Bob Duff <duff@adacore.com> | 2020-06-22 15:23:45 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:08 -0400 |
commit | 46a3809b1579cb86574c6ba8e2858a8f369f8786 (patch) | |
tree | fb25eeb56f4c5b11a0f9ad06e20da8e1ea6d9b57 /gcc/ada/sem_ch13.ads | |
parent | acc1708cf088b47919785e6a50fa7a636b3fb82b (diff) | |
download | gcc-46a3809b1579cb86574c6ba8e2858a8f369f8786.zip gcc-46a3809b1579cb86574c6ba8e2858a8f369f8786.tar.gz gcc-46a3809b1579cb86574c6ba8e2858a8f369f8786.tar.bz2 |
[Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants
gcc/ada/
* sem_ch13.adb (Visible_Component): Enable this code for task
and protected types, as well as record and private types.
* sem_ch13.ads (Replace_Type_References_Generic): Update
comment. Move the efficiency comment into the body, because
it's about the implementation.
Diffstat (limited to 'gcc/ada/sem_ch13.ads')
-rw-r--r-- | gcc/ada/sem_ch13.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads index 3d24c04..525d3e4 100644 --- a/gcc/ada/sem_ch13.ads +++ b/gcc/ada/sem_ch13.ads @@ -164,6 +164,11 @@ package Sem_Ch13 is -- parameter does the actual replacement of node N, which is either a -- simple direct reference to T, or a selected component that represents -- an appropriately qualified occurrence of T. + -- + -- This also replaces each reference to a component, entry, or protected + -- procedure with a selected component whose prefix is the parameter. + -- For example, Component_Name becomes Parameter.Component_Name, where + -- Parameter is the parameter, which is of type T. function Rep_Item_Too_Late (T : Entity_Id; |