From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 4 May 2020 08:56:52 +0000 (-0400)
Subject: [Ada] Default_Initial_Condition check done after extended return with init
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=37e43fe13e163799618f5e2eb8f84cdcfa4e4f3b;p=gcc.git

[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.
---

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;