From: charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 7 Jul 2016 13:00:54 +0000 (+0000)
Subject: 2016-07-07  Eric Botcazou  <ebotcazou@adacore.com>
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=6928016a349c376527b87ef263e53e351d1c3aa7;p=thirdparty%2Fgcc.git

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

	* freeze.adb: Reenable code.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@238109 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6303d819fd7c..48afee0571cf 100644
--- 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 12f60a0c9000..6962d9b3bb2b 100644
--- 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;