diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-04 12:32:22 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-04 12:32:22 +0000 |
| commit | da1b75921662e425d7bfa3ad7d21b8dd2002089a (patch) | |
| tree | c87cbe44a1dfabcbe30a880e6d790dd9b0925b5b /gcc/ada/ChangeLog | |
| parent | ffeca34e563ce341861ae793114225538f56105d (diff) | |
| download | gcc-da1b75921662e425d7bfa3ad7d21b8dd2002089a.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237976 138bc75d-0d04-0410-961f-82ee72b054a4
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 9af2d5f8a80..92032ab358f 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 |