From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 10 Oct 2019 15:23:51 +0000 (+0000)
Subject: [Ada] Plug minor loophole for integer named number
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f200341cf868478ffea9626d97ab280d1cad08e7;p=gcc.git

[Ada] Plug minor loophole for integer named number

2019-10-10  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* sem_ch3.adb (Analyze_Number_Declaration): Set
	Debug_Info_Needed in the case where the expression is an integer
	literal.

From-SVN: r276822
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6eca0b8b7cc..1045a89632f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,5 @@
-2019-10-10  Yannick Moy  <moy@adacore.com>
+2019-10-10  Eric Botcazou  <ebotcazou@adacore.com>
 
-	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add subprograms
-	with deep parameter or result type as not candidates for
-	inlining.
\ No newline at end of file
+	* sem_ch3.adb (Analyze_Number_Declaration): Set
+	Debug_Info_Needed in the case where the expression is an integer
+	literal.
\ No newline at end of file
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index e304e72dcfa..6a0219244e2 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -3522,6 +3522,8 @@ package body Sem_Ch3 is
          Set_Etype     (Id, Universal_Integer);
          Set_Ekind     (Id, E_Named_Integer);
          Set_Is_Frozen (Id, True);
+
+         Set_Debug_Info_Needed (Id);
          return;
       end if;