diff options
Diffstat (limited to 'gcc/ada/expander.ads')
-rw-r--r-- | gcc/ada/expander.ads | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/ada/expander.ads b/gcc/ada/expander.ads index 28fef078c3c..d469405c48d 100644 --- a/gcc/ada/expander.ads +++ b/gcc/ada/expander.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -150,11 +150,19 @@ package Expander is procedure Expander_Mode_Save_And_Set (Status : Boolean); -- Saves the current setting of the Expander_Active flag on an internal -- stack and then sets the flag to the given value. + -- + -- Note: this routine has no effect in ASIS_Mode. In ASIS_Mode, all + -- expansion activity is always off, since we want the original semantic + -- tree for ASIS purposes without any expansion. This is achieved by + -- setting Expander_Active False in ASIS_Mode. In situations such as + -- the call to Instantiate_Bodies in Frontend, Expander_Mode_Save_And_Set + -- may be called to temporarily turn the expander on, but this will have + -- no effect in ASIS mode. procedure Expander_Mode_Restore; -- Restores the setting of the Expander_Active flag using the top entry -- pushed onto the stack by Expander_Mode_Save_And_Reset, popping the -- stack, except that if any errors have been detected, then the state - -- of the flag is left set to False. + -- of the flag is left set to False. Disabled for ASIS_Mode (see above). end Expander; |