diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-31 14:49:14 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:30 -0400 |
| commit | fdcbc0764dee19e9e1eeeb17c960567474b4d688 (patch) | |
| tree | 8b85ab721aea5eca8915018867436bb1e1f2c74f /gcc/ada | |
| parent | 0acc5ebd5c33e719d5ab24608af9a489dc204729 (diff) | |
| download | gcc-fdcbc0764dee19e9e1eeeb17c960567474b4d688.zip gcc-fdcbc0764dee19e9e1eeeb17c960567474b4d688.tar.gz gcc-fdcbc0764dee19e9e1eeeb17c960567474b4d688.tar.bz2 | |
[Ada] Do not expect task discriminants in Global and Depends contracts
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Depends_In_Decl_Part,
Analyze_Global_In_Decl_Part): Do not install task discriminants
for analysis of the Global/Depends contracts.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 2b63617..a32bb9b 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2001,9 +2001,7 @@ package body Sem_Prag is Push_Scope (Spec_Id); if Ekind (Spec_Id) = E_Task_Type then - if Has_Discriminants (Spec_Id) then - Install_Discriminants (Spec_Id); - end if; + null; elsif Is_Generic_Subprogram (Spec_Id) then Install_Generic_Formals (Spec_Id); @@ -2791,9 +2789,7 @@ package body Sem_Prag is Push_Scope (Spec_Id); if Ekind (Spec_Id) = E_Task_Type then - if Has_Discriminants (Spec_Id) then - Install_Discriminants (Spec_Id); - end if; + null; elsif Is_Generic_Subprogram (Spec_Id) then Install_Generic_Formals (Spec_Id); |