diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-30 14:20:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-30 14:20:11 +0000 |
| commit | b8c9d9998136513b7d25f303bf07d53cafba52c8 (patch) | |
| tree | ee697022c3766e0c8817321a8434e832b19cf8e4 /gcc/ada/exp_aggr.adb | |
| parent | 4d6daf238f78ce72a36f0ca77692f1a46aa5f253 (diff) | |
| download | gcc-b8c9d9998136513b7d25f303bf07d53cafba52c8.tar.gz | |
2011-08-30 Yannick Moy <moy@adacore.com>
* exp_aggr.adb, exp_ch11.adb, exp_prag.adb: Remove early exit during
expansion in Alfa mode.
* exp_ch6.adb, exp_ch6.ads (Expand_Actuals): Make subprogram public
* exp_alfa.adb, exp_alfa.ads: New package defining light expansion for
Alfa mode.
* gnat1drv.adb (Adjust_Global_Switches): Update Comment.
* sem_res.adb: Ditto.
2011-08-30 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Minor documentation adjustment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178317 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_aggr.adb')
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 037a8dcc6ea..a54ebe8b297 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -4664,12 +4664,6 @@ package body Exp_Aggr is Check_Same_Aggr_Bounds (N, 1); end if; - -- In formal verification mode, leave the aggregate non-expanded - - if ALFA_Mode then - return; - end if; - -- STEP 2 -- Here we test for is packed array aggregate that we can handle at |