diff mbox series

[COMMITTED] ada: Remove unused initial value of a local variable

Message ID 20230525080556.1956715-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: Remove unused initial value of a local variable |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès May 25, 2023, 8:05 a.m. UTC 
  From: Piotr Trojanek <trojanek@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_ch6.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 135d8ab7f0b..7c90747f293 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