Commit f200341c by Eric Botcazou Committed by Pierre-Marie de Rodat

[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
parent 9d98b6d8
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 * sem_ch3.adb (Analyze_Number_Declaration): Set
with deep parameter or result type as not candidates for Debug_Info_Needed in the case where the expression is an integer
inlining. literal.
\ No newline at end of file \ No newline at end of file
...@@ -3522,6 +3522,8 @@ package body Sem_Ch3 is ...@@ -3522,6 +3522,8 @@ package body Sem_Ch3 is
Set_Etype (Id, Universal_Integer); Set_Etype (Id, Universal_Integer);
Set_Ekind (Id, E_Named_Integer); Set_Ekind (Id, E_Named_Integer);
Set_Is_Frozen (Id, True); Set_Is_Frozen (Id, True);
Set_Debug_Info_Needed (Id);
return; return;
end if; end if;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment