diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2019-10-10 15:23:51 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-10-10 15:23:51 +0000 |
commit | f200341cf868478ffea9626d97ab280d1cad08e7 (patch) | |
tree | 40154e7102388ce923e10544e41f68414a54790b /gcc | |
parent | 9d98b6d8dcaed2b0f5c87418ca2036d1bdc5a881 (diff) | |
download | gcc-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/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
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; |