diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-30 16:06:25 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-30 16:06:25 +0200 |
| commit | da94696d33e93be999d7f9f5ec838cdfa9627385 (patch) | |
| tree | 25ac99587bec72007353bae02bd1d1c887dbc360 /gcc/ada/sem_ch6.adb | |
| parent | 315f5f1bfbcbc444e5853fb54fa37edae58e5f91 (diff) | |
| download | gcc-da94696d33e93be999d7f9f5ec838cdfa9627385.zip gcc-da94696d33e93be999d7f9f5ec838cdfa9627385.tar.gz gcc-da94696d33e93be999d7f9f5ec838cdfa9627385.tar.bz2 | |
[multiple changes]
2011-08-30 Yannick Moy <moy@adacore.com>
* opt.adb, opt.ads (Full_Expander_Active): New function defines a
common shorthand for (Expander_Active and not ALFA_Mode) that can be
used for testing full expansion, that is active expansion not in the
reduced mode for Alfa
* exp_ch4.adb, exp_ch9.adb, exp_disp.adb, sem_ch10.adb, sem_ch12.adb,
sem_ch6.adb, sem_ch9.adb, sem_res.adb: Use newly defined "flag" instead
of the verbose (Expander_Active and not ALFA_Mode)
2011-08-30 Tristan Gingold <gingold@adacore.com>
* s-parame-vms-alpha.ads, s-parame-hpux.ads, s-tassta.adb,
s-tarest.adb, s-parame-vms-ia64.ads, s-soflin.adb, s-secsta.adb,
s-secsta.ads, s-parame.ads, s-parame-vxworks.ads: Renames Ratio to
Percentage, and Sec_Stack_Ratio to Sec_Stack_Percentage.
From-SVN: r178313
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 9fe7fdf..f1cb60e 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -2709,8 +2709,7 @@ package body Sem_Ch6 is -- when the Expander is active because Install_Private_Data_Declarations -- references entities which were created during regular expansion. - if Expander_Active - and then not ALFA_Mode + if Full_Expander_Active and then Comes_From_Source (N) and then Present (Prot_Typ) and then Present (Spec_Id) @@ -9787,10 +9786,9 @@ package body Sem_Ch6 is -- If expansion is active, the formal is replaced by a local -- variable that renames the corresponding entry of the -- parameter block, and it is this local variable that may - -- require an actual subtype. In ALFA mode, expansion of accept - -- statements is skipped. + -- require an actual subtype. - if Expander_Active and not ALFA_Mode then + if Full_Expander_Active then Decl := Build_Actual_Subtype (T, Renamed_Object (Formal)); else Decl := Build_Actual_Subtype (T, Formal); @@ -9829,8 +9827,7 @@ package body Sem_Ch6 is end if; if Nkind (N) = N_Accept_Statement - and then Expander_Active - and then not ALFA_Mode + and then Full_Expander_Active then Set_Actual_Subtype (Renamed_Object (Formal), Defining_Identifier (Decl)); |