diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-29 09:41:59 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-29 09:41:59 +0000 |
| commit | 54e33e5f6a0f566e6b0e96da3d5f27449d807248 (patch) | |
| tree | 6c343f45fb378f49d69674e56804c0bfb61e7747 /gcc/ada/einfo.adb | |
| parent | 895500a2aefb586b3ad34e0dc44563dbb4cb54fb (diff) | |
| download | gcc-54e33e5f6a0f566e6b0e96da3d5f27449d807248.zip gcc-54e33e5f6a0f566e6b0e96da3d5f27449d807248.tar.gz gcc-54e33e5f6a0f566e6b0e96da3d5f27449d807248.tar.bz2 | |
[Ada] Clarify use of Activation_Record_Component
2018-05-29 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* einfo.ads, einfo.adb: Clarify use of Activation_Record_Component:
discriminants and exceptions are never components of such. The flag
Needs_Activation_Record is set on subprogram types, not on access to
them.
From-SVN: r260881
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index fd77d41..5d1433b 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -743,8 +743,6 @@ package body Einfo is function Activation_Record_Component (Id : E) return E is begin pragma Assert (Ekind_In (Id, E_Constant, - E_Discriminant, - E_Exception, E_In_Parameter, E_In_Out_Parameter, E_Loop_Parameter, @@ -3958,8 +3956,6 @@ package body Einfo is procedure Set_Activation_Record_Component (Id : E; V : E) is begin pragma Assert (Ekind_In (Id, E_Constant, - E_Discriminant, - E_Exception, E_In_Parameter, E_In_Out_Parameter, E_Loop_Parameter, |