freeze.adb (Freeze_Entity): Do not generate a freeze node for a generic unit...

2017-09-06  Ed Schonberg  <schonberg@adacore.com>

	* freeze.adb (Freeze_Entity): Do not generate a freeze
	node for a generic unit, even if it includes delayed aspect
	specifications. Freeze nodes for generic entities must never
	appear in the tree that reaches the back-end of the compiler.

From-SVN: r251766

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5c0b3d7a25af27d9dc069ac6c51449472b31d449..196edaec3e47a7f31090df90ae17c2822f9e2b21 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+2017-09-06  Ed Schonberg  <schonberg@adacore.com>
+
+       * freeze.adb (Freeze_Entity): Do not generate a freeze
+       node for a generic unit, even if it includes delayed aspect
+       specifications. Freeze nodes for generic entities must never
+       appear in the tree that reaches the back-end of the compiler.
+
 2017-09-06  Yannick Moy  <moy@adacore.com>
 
        * treepr.adb (Print_Entity_Info): Do not print empty Elist.

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 4d8aa656a57a43e16d781968c51d0c7a97637cbd..5540c78fecfd2c7156d968046cc76583d0278e5a 100644 (file)
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -5489,6 +5489,13 @@ package body Freeze is
             then
                Explode_Initialization_Compound_Statement (E);
             end if;
+
+            --  Do not generate a freeze node for a generic unit.
+
+            if Is_Generic_Unit (E) then
+               Result := No_List;
+               goto Leave;
+            end if;
          end if;
 
       --  Case of a type or subtype being frozen