From: Piotr Trojanek Date: Tue, 31 Mar 2020 12:49:14 +0000 (+0200) Subject: [Ada] Do not expect task discriminants in Global and Depends contracts X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fdcbc0764dee19e9e1eeeb17c960567474b4d688;p=gcc.git [Ada] Do not expect task discriminants in Global and Depends contracts 2020-06-15 Piotr Trojanek 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. --- diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 2b63617b42c..a32bb9bf241 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);