[gcc r12-1474] [Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entities

[gcc r12-1474] [Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entities

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:40f464256cb547f8663f44965d7bb8a68527be6b

commit r12-1474-g40f464256cb547f8663f44965d7bb8a68527be6b
Author: Bob Duff <duff@adacore.com>
Date:   Sun Feb 14 15:27:12 2021 -0500

    [Ada] Incorrect Reinit_Field_To_Zero calls for concurrent entities
    
    gcc/ada/
    
            * sem_ch3.adb (Make_Class_Wide_Type): Make sure all the calls to
            Reinit_Field_To_Zero are for the correct Ekinds.

Diff:
---
 gcc/ada/sem_ch3.adb | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 11c6fdbed6b..03280e5244e 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -19239,14 +19239,17 @@ package body Sem_Ch3 is
          Reinit_Field_To_Zero (CW_Type, Private_Dependents);
 
       elsif Ekind (CW_Type) in Concurrent_Kind then
-         if Ekind (CW_Type) = E_Task_Type then
+         Reinit_Field_To_Zero (CW_Type, First_Private_Entity);
+         Reinit_Field_To_Zero (CW_Type, Scope_Depth_Value);
+
+         if Ekind (CW_Type) in Task_Kind then
             Reinit_Field_To_Zero (CW_Type, Is_Elaboration_Checks_OK_Id);
             Reinit_Field_To_Zero (CW_Type, Is_Elaboration_Warnings_OK_Id);
          end if;
 
-         Reinit_Field_To_Zero (CW_Type, First_Private_Entity);
-         Reinit_Field_To_Zero (CW_Type, Scope_Depth_Value);
-         Reinit_Field_To_Zero (CW_Type, SPARK_Aux_Pragma_Inherited);
+         if Ekind (CW_Type) in E_Task_Type | E_Protected_Type then
+            Reinit_Field_To_Zero (CW_Type, SPARK_Aux_Pragma_Inherited);
+         end if;
       end if;
 
       Mutate_Ekind                    (CW_Type, E_Class_Wide_Type);