diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2016-07-07 13:00:54 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-07 15:00:54 +0200 |
| commit | c765803988b84491db16abd42997930befa693e3 (patch) | |
| tree | bd32977e6b5a059251c0fbb539051567321ac813 | |
| parent | d1ce5f8c6f10509af46753aae4b30e6c99a05d36 (diff) | |
| download | gcc-c765803988b84491db16abd42997930befa693e3.zip gcc-c765803988b84491db16abd42997930befa693e3.tar.gz gcc-c765803988b84491db16abd42997930befa693e3.tar.bz2 | |
freeze.adb: Reenable code.
2016-07-07 Eric Botcazou <ebotcazou@adacore.com>
* freeze.adb: Reenable code.
From-SVN: r238109
| -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; |