From 9663760b4ea36fd87161cae28a0c27b62987a420 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 29 Aug 2011 13:26:02 +0000 Subject: [PATCH] 2011-08-29 Johannes Kanig * exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA mode. * gnat1drv.adb (Adjust_Global_Switches): Set Use_Expressions_With_Actions to False in ALFA mode. * sem_res.adb (Resolve_Quantified_Expression): Simpler treatment in ALFA mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178223 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/ChangeLog | 9 +++++++++ gcc/ada/exp_ch4.adb | 4 ++++ gcc/ada/gnat1drv.adb | 5 +++-- gcc/ada/sem_res.adb | 23 ++++++++++++++++------- 4 files changed, 32 insertions(+), 9 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d201020..7e3b173 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,12 @@ +2011-08-29 Johannes Kanig + + * exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA + mode. + * gnat1drv.adb (Adjust_Global_Switches): Set + Use_Expressions_With_Actions to False in ALFA mode. + * sem_res.adb (Resolve_Quantified_Expression): Simpler treatment in + ALFA mode. + 2011-08-29 Yannick Moy * exp_ch13.adb (Expand_N_Freeze_Entity): Do nothing in Alfa mode. diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index c495722..55ea87a 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -7593,6 +7593,10 @@ package body Exp_Ch4 is Test : Node_Id; begin + if ALFA_Mode then + return; + end if; + Decl := Make_Object_Declaration (Loc, Defining_Identifier => Tnn, diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 3924190..5619533 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -351,9 +351,10 @@ procedure Gnat1drv is if Debug_Flag_Dot_XX then Use_Expression_With_Actions := True; - -- Debug flag -gnatd.Y decisively sets usage off + -- Debug flag -gnatd.Y and -gnatd.F (Alfa Mode) decisively set usage + -- off - elsif Debug_Flag_Dot_YY then + elsif Debug_Flag_Dot_YY or Debug_Flag_Dot_FF then Use_Expression_With_Actions := False; -- Otherwise this feature is implemented, so we allow its use diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 7d47bbe..375ca90 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -8082,14 +8082,23 @@ package body Sem_Res is procedure Resolve_Quantified_Expression (N : Node_Id; Typ : Entity_Id) is begin - -- The loop structure is already resolved during its analysis, only the - -- resolution of the condition needs to be done. Expansion is disabled - -- so that checks and other generated code are inserted in the tree - -- after expression has been rewritten as a loop. + if not ALFA_Mode then - Expander_Mode_Save_And_Set (False); - Resolve (Condition (N), Typ); - Expander_Mode_Restore; + -- The loop structure is already resolved during its analysis, only + -- the resolution of the condition needs to be done. Expansion is + -- disabled so that checks and other generated code are inserted in + -- the tree after expression has been rewritten as a loop. + + Expander_Mode_Save_And_Set (False); + Resolve (Condition (N), Typ); + Expander_Mode_Restore; + else + + -- In ALFA_Mode, no such magic needs to happen, we just resolve the + -- underlying nodes + + Resolve (Condition (N), Typ); + end if; end Resolve_Quantified_Expression; ------------------- -- 2.7.4