diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-08 20:52:48 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:20 +0000 |
commit | c96dcf055028510b5b1630e12015b86d5f5c2f6e (patch) | |
tree | c28ebeceaf8205cc1e539872b1dd638fb3a7eea4 | |
parent | 6ba8c078cabee2c6abc669971e1351536ce721ec (diff) | |
download | gcc-c96dcf055028510b5b1630e12015b86d5f5c2f6e.zip gcc-c96dcf055028510b5b1630e12015b86d5f5c2f6e.tar.gz gcc-c96dcf055028510b5b1630e12015b86d5f5c2f6e.tar.bz2 |
[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.
-rw-r--r-- | gcc/ada/sem_ch6.adb | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 1efc884..8334647 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 |