From 37e43fe13e163799618f5e2eb8f84cdcfa4e4f3b Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 4 May 2020 04:56:52 -0400
Subject: [PATCH] [Ada] Default_Initial_Condition check done after extended
 return with init

gcc/ada/

	* par-ch6.adb (P_Return_Object_Declaration): Set
	Has_Init_Expression flag.
---
 gcc/ada/par-ch6.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb
index abf7d1052e3..0821e68dde1 100644
--- a/gcc/ada/par-ch6.adb
+++ b/gcc/ada/par-ch6.adb
@@ -1856,6 +1856,7 @@ package body Ch6 is
       if Token = Tok_Colon_Equal then
          Scan; -- past :=
          Set_Expression (Decl_Node, P_Expression_No_Right_Paren);
+         Set_Has_Init_Expression (Decl_Node);
       end if;
 
       return Decl_Node;
-- 
2.30.2