[gcc r13-3782] ada: Cleanup local variable that is only set as an out parameter

[gcc r13-3782] ada: Cleanup local variable that is only set as an out parameter

[Marc Poulhi?s]

https://gcc.gnu.org/g:5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba

commit r13-3782-g5c0722cb40ac1be1e5c40b3aff6fc7b58e3e4cba
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Tue Sep 6 23:28:26 2022 +0200

    ada: Cleanup local variable that is only set as an out parameter
    
    Minor improvements; found experimenting with improved detection of
    unreferenced objects.
    
    gcc/ada/
    
            * exp_spark.adb (SPARK_Freeze_Type): Refine type of a local
            object.
            * sem_ch3.adb (Derive_Subprograms): Remove initial value for
            New_Subp, which is in only written as an out parameter and never
            read.

Diff:
---
 gcc/ada/exp_spark.adb |  2 +-
 gcc/ada/sem_ch3.adb   | 18 +++++++++---------
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb
index c89d604aa80..ba7bd7fe5d2 100644
--- a/gcc/ada/exp_spark.adb
+++ b/gcc/ada/exp_spark.adb
@@ -895,7 +895,7 @@ package body Exp_SPARK is
    procedure SPARK_Freeze_Type (N : Entity_Id) is
       Typ : constant Entity_Id := Entity (N);
 
-      Renamed_Eq : Node_Id;
+      Renamed_Eq : Entity_Id;
       --  Defining unit name for the predefined equality function in the case
       --  where the type has a primitive operation that is a renaming of
       --  predefined equality (but only if there is also an overriding
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index f6b852051dc..8f4e9f80eb8 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -16497,15 +16497,15 @@ package body Sem_Ch3 is
 
       --  Local variables
 
-      Alias_Subp   : Entity_Id;
-      Act_List     : Elist_Id;
-      Act_Elmt     : Elmt_Id;
-      Act_Subp     : Entity_Id := Empty;
-      Elmt         : Elmt_Id;
-      Need_Search  : Boolean   := False;
-      New_Subp     : Entity_Id := Empty;
-      Parent_Base  : Entity_Id;
-      Subp         : Entity_Id;
+      Alias_Subp  : Entity_Id;
+      Act_List    : Elist_Id;
+      Act_Elmt    : Elmt_Id;
+      Act_Subp    : Entity_Id := Empty;
+      Elmt        : Elmt_Id;
+      Need_Search : Boolean   := False;
+      New_Subp    : Entity_Id;
+      Parent_Base : Entity_Id;
+      Subp        : Entity_Id;
 
    --  Start of processing for Derive_Subprograms