From c96dcf055028510b5b1630e12015b86d5f5c2f6e Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 8 Jun 2022 20:52:48 +0200 Subject: [PATCH] [Ada] Remove repeated setting of Never_Set_In_Source Formal parameters have their flag Never_Set_In_Source set at the beginning of Process_Formals routine (regardless of the parameter mode). There is no need to set it again when Process_Formals calls Set_Formal_Mode (for parameters of mode IN OUT and OUT). Code cleanup related to improved detection of uninitialised objects; behaviour is unaffected. gcc/ada/ * sem_ch6.adb (Set_Formal_Mode): Remove unnecessary setting of Never_Set_In_Source. --- gcc/ada/sem_ch6.adb | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 1efc8842db9..8334647028a 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -13298,10 +13298,9 @@ package body Sem_Ch6 is Mutate_Ekind (Formal_Id, E_In_Out_Parameter); else - Mutate_Ekind (Formal_Id, E_Out_Parameter); - Set_Never_Set_In_Source (Formal_Id, True); - Set_Is_True_Constant (Formal_Id, False); - Set_Current_Value (Formal_Id, Empty); + Mutate_Ekind (Formal_Id, E_Out_Parameter); + Set_Is_True_Constant (Formal_Id, False); + Set_Current_Value (Formal_Id, Empty); end if; else -- 2.47.2