diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/freeze.adb | 8 |
2 files changed, 5 insertions, 7 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6303d81..48afee0 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 12f60a0..6962d9b 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; |