diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-13 14:47:24 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-13 14:47:24 +0100 |
commit | 57d08392f638bae0e0051a6ea55779b9da124d81 (patch) | |
tree | 902c618eea139e0d1edce4e424c2c1d1dcedc6cb /gcc/ada/frontend.adb | |
parent | db397e2e5a10965e953ce1801511c55fe8042295 (diff) | |
download | gcc-57d08392f638bae0e0051a6ea55779b9da124d81.zip gcc-57d08392f638bae0e0051a6ea55779b9da124d81.tar.gz gcc-57d08392f638bae0e0051a6ea55779b9da124d81.tar.bz2 |
[multiple changes]
2015-03-13 Robert Dewar <dewar@adacore.com>
* exp_unst.adb (Note_Uplevel_Reference): Eliminate duplicate
references.
(Actual_Ref): New function.
(AREC_String): Minor reformatting.
(Unnest_Subprogram): Use Actual_Ref.
* frontend.adb (Frontend): Turn off Unnest_Subprogram_Mode
before call to Instantiate_Bodies.
2015-03-13 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Profile): If the return type of a function
being frozen is an untagged limited view and the function is
abstract, mark the type as frozen because there is no later
point at which the profile of the subprogram will be elaborated.
2015-03-13 Robert Dewar <dewar@adacore.com>
* einfo.adb, einfo.ads, atree.adb, atree.ads, atree.h: Add seventh
component to entities. Add new fields Field36-41 and Node36-41.
2015-03-13 Claire Dross <dross@adacore.com>
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Rewrite after review.
2015-03-13 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Is_Volatile_Reference): Compile time known
value is never considered to be a volatile reference.
2015-03-13 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Analyze_Object_Contract): Suppress "constant
cannot be volatile" for internally generated object (such as
FIRST and LAST constants).
2015-03-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Validate_Access_Subprogram_Instance): If a
convention is specified for the formal parameter, verify that
the actual has the same convention.
* sem_prag.adb (Set_Convention_From_Pragma): Allow convention
pragma to be set on a generic formal type.
* sem_util.adb (Set_Convention): Ignore within an instance,
as it has already been verified in the generic unit.
From-SVN: r221422
Diffstat (limited to 'gcc/ada/frontend.adb')
-rw-r--r-- | gcc/ada/frontend.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index adee97d..bab0b46 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -408,6 +408,13 @@ begin -- Cleanup processing after completing main analysis + -- Turn off unnesting of subprograms mode. This is not right + -- with respect to instantiations. What needs to happen is that + -- we do the unnesting AFTER the call to Instantiate_Bodies. We + -- will take care of that later ??? + + Opt.Unnest_Subprogram_Mode := False; + -- Comment needed for ASIS mode test and GNATprove mode test??? if Operating_Mode = Generate_Code |