diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 08:22:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 08:22:32 +0200 |
| commit | c61ef4169e502c5b67306f3b32cf463e55309d6e (patch) | |
| tree | a8d4010884d73ff2803ee4cb3b7d27fc326073aa /gcc/ada/sem_aux.ads | |
| parent | 36295779910f4a972c960a95f8586bcdff4f9fde (diff) | |
| download | gcc-c61ef4169e502c5b67306f3b32cf463e55309d6e.zip gcc-c61ef4169e502c5b67306f3b32cf463e55309d6e.tar.gz gcc-c61ef4169e502c5b67306f3b32cf463e55309d6e.tar.bz2 | |
[multiple changes]
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_aux.ads: Minor comment addition.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): If the call is already
a rewriting of an operator node, there are no actuals to be
propagated from original node to rewritten node when in ASIS mode.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Contract,
Analyze_Subprogram_Contract): Add new local variable Mode. Save
and restore the SPARK mode of the related construct in a
stack-like fashion.
* sem_ch7.adb (Analyze_Package_Body_Contract,
Analyze_Package_Contract): Add new local variable Mode. Save and
restore the SPARK mode of the related construct in a stack-like fashion.
* sem_util.adb Remove with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
* sem_util.ads Add with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Is_Aliased): Transient objects
within an expression with actions cannot be considered aliased.
From-SVN: r212721
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index cf722b2..1fb9068 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -255,6 +255,12 @@ package Sem_Aux is -- Defined in tagged types. Set if an External_Tag rep. clause has been -- given for this type. Use to avoid the generation of the default -- External_Tag. + -- + -- Note: we used to use an entity flag for this purpose, but that was wrong + -- because it was not propagated from the private view to the full view. We + -- could have added that propagation, but it would have been an annoying + -- irregularity compared to other representation aspects, and the cost of + -- looking up the aspect when needed is small. function Has_Unconstrained_Elements (T : Entity_Id) return Boolean; -- True if T has discriminants and is unconstrained, or is an array type |