From: Piotr Trojanek Date: Tue, 7 Mar 2023 08:02:23 +0000 (+0100) Subject: ada: Remove unused initial value of a local variable X-Git-Tag: basepoints/gcc-15~8924 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8f7eeaa80e58af3885107d67679b2f8ca8dcb2f8;p=thirdparty%2Fgcc.git ada: Remove unused initial value of a local variable 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. --- diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 135d8ab7f0b3..7c90747f2931 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -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