freeze.adb: Reenable code.

2016-07-07  Eric Botcazou  <ebotcazou@adacore.com>

	* freeze.adb: Reenable code.

From-SVN: r238109

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6303d819fd7cc9d0c7e58e341f2e98c718c62670..48afee0571cf677165059c589c0e91a00e54de96 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2016-07-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * freeze.adb: Reenable code.
+
 2016-07-07  Yannick Moy  <moy@adacore.com>
 
        * sem_ch6.adb (Process_Formals): Set ghost flag

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index 12f60a0c90000a0d5e1e58306a39f4538b0296a6..6962d9b3bb2bab6ac62b78f145d94cb1a715c410 100644 (file)
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -5140,13 +5140,7 @@ package body Freeze is
 
             --  This processing doesn't apply to internal entities (see below)
 
-            --  Disable this mechanism for now, to fix regressions in ASIS and
-            --  various ACATS tests. Implementation of AI05-019 remains
-            --  unsolved ???
-
-            if not Is_Internal (E)
-              and then (Do_Freeze_Profile or else True)
-            then
+            if not Is_Internal (E) and then Do_Freeze_Profile then
                if not Freeze_Profile (E) then
                   Ghost_Mode := Save_Ghost_Mode;
                   return Result;