diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 13:33:32 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 13:33:32 +0000 |
| commit | 15f3d9888ce2a021c4b42032a3a051c07b5bdcad (patch) | |
| tree | 2cd208abe1d4a90b529b90894e8a74cc9c7d3425 /gcc/ada/exp_ch13.adb | |
| parent | 6c5f0aa07837db864367d79a9a8dbb7c329ef31e (diff) | |
| download | gcc-15f3d9888ce2a021c4b42032a3a051c07b5bdcad.tar.gz | |
2011-08-29 Yannick Moy <moy@adacore.com>
* exp_ch13.adb: Adjust previous change.
2011-08-29 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, prj.adb, sem_util.adb, sem_res.adb, gnat1drv.adb,
exp_ch4.adb, sem_ch8.adb: Minor code reorganization
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178226 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch13.adb')
| -rw-r--r-- | gcc/ada/exp_ch13.adb | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb index 068ba582bb3..a6890d72746 100644 --- a/gcc/ada/exp_ch13.adb +++ b/gcc/ada/exp_ch13.adb @@ -307,13 +307,6 @@ package body Exp_Ch13 is Delete : Boolean := False; begin - -- In formal verification mode, do not generate useless and confusing - -- expansion for freeze nodes. - - if ALFA_Mode then - return; - end if; - -- If there are delayed aspect specifications, we insert them just -- before the freeze node. They are already analyzed so we don't need -- to reanalyze them (they were analyzed before the type was frozen), |