]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Remove unused initial value of a local variable
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 7 Mar 2023 08:02:23 +0000 (09:02 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 25 May 2023 07:44:17 +0000 (09:44 +0200)
Cleanup related to improved handling of expression functions in
GNATprove; semantics is unaffected.

gcc/ada/

* sem_ch6.adb (Analyze_Return_Type): Remove unused initial value.

gcc/ada/sem_ch6.adb

index 135d8ab7f0b33786bf30c3974531b693443d6d00..7c90747f2931cbd20e99947729339a41f66354ef 100644 (file)
@@ -2046,7 +2046,7 @@ package body Sem_Ch6 is
 
    procedure Analyze_Return_Type (N : Node_Id) is
       Designator : constant Entity_Id := Defining_Entity (N);
-      Typ        : Entity_Id := Empty;
+      Typ        : Entity_Id;
 
    begin
       --  Normal case where result definition does not indicate an error