diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 14:32:22 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 14:32:22 +0200 |
| commit | 0c3f76bac4d10283ab9d6fc9a64ccb0140a0b91e (patch) | |
| tree | c87cbe44a1dfabcbe30a880e6d790dd9b0925b5b /gcc/ada/ChangeLog | |
| parent | f3e0f7c3c189b07f56e8758ab5174bd2820d7ea5 (diff) | |
| download | gcc-0c3f76bac4d10283ab9d6fc9a64ccb0140a0b91e.zip gcc-0c3f76bac4d10283ab9d6fc9a64ccb0140a0b91e.tar.gz gcc-0c3f76bac4d10283ab9d6fc9a64ccb0140a0b91e.tar.bz2 | |
[multiple changes]
2016-07-04 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute_Old_Result): The attributes can
appear in the postcondition of a subprogram renaming declaration,
when the renamed entity is an attribute reference that is a
function (such as 'Value).
* sem_attr.adb (Eval_Attribute): It doesn't
need to be static, just known at compile time, so use
Compile_Time_Known_Value instead of Is_Static_Expression.
This is an efficiency improvement over the previous bug fix.
* sem_ch13.adb (Analyze_One_Aspect): Use Original_Node to detect
illegal aspects on subprogram renaming declarations that may
have been rewritten as bodies.
2016-07-04 Arnaud Charlet <charlet@adacore.com>
* sem_intr.adb (Errint): Do not emit error message in
Relaxed_RM_Semantics mode.
From-SVN: r237976
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9af2d5f..92032ab 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,22 @@ +2016-07-04 Ed Schonberg <schonberg@adacore.com> + + * sem_attr.adb (Analyze_Attribute_Old_Result): The attributes can + appear in the postcondition of a subprogram renaming declaration, + when the renamed entity is an attribute reference that is a + function (such as 'Value). + * sem_attr.adb (Eval_Attribute): It doesn't + need to be static, just known at compile time, so use + Compile_Time_Known_Value instead of Is_Static_Expression. + This is an efficiency improvement over the previous bug fix. + * sem_ch13.adb (Analyze_One_Aspect): Use Original_Node to detect + illegal aspects on subprogram renaming declarations that may + have been rewritten as bodies. + +2016-07-04 Arnaud Charlet <charlet@adacore.com> + + * sem_intr.adb (Errint): Do not emit error message in + Relaxed_RM_Semantics mode. + 2016-07-04 Bob Duff <duff@adacore.com> * sem_attr.adb (Eval_Attribute): The code was assuming |