aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2019-10-10 15:23:51 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2019-10-10 15:23:51 +0000
commitf200341cf868478ffea9626d97ab280d1cad08e7 (patch)
tree40154e7102388ce923e10544e41f68414a54790b /gcc
parent9d98b6d8dcaed2b0f5c87418ca2036d1bdc5a881 (diff)
downloadgcc-f200341cf868478ffea9626d97ab280d1cad08e7.zip
gcc-f200341cf868478ffea9626d97ab280d1cad08e7.tar.gz
gcc-f200341cf868478ffea9626d97ab280d1cad08e7.tar.bz2
[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
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog8
-rw-r--r--gcc/ada/sem_ch3.adb2
2 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6eca0b8..1045a89 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 e304e72..6a02192 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;