diff options
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 35f4589..c9d9ba0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,19 @@ +2016-04-18 Ed Schonberg <schonberg@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Set Inlined flag + on the entity of a subprogram declaration that is completed by + an expression function. + +2016-04-18 Ed Schonberg <schonberg@adacore.com> + + * sem_util.adb (Is_Current_Instance): A entity given by a subtype + declaration can appear in an aspect specification for a dynamic + predicate, and a pragma for aspect Predicate_Failure. + * exp_util.adb (Replace_Subtype_References): Replace current + occurrences of the subtype to which a dynamic predicate applies, + byt the expression that triggers a predicate check. Needed to + implement new aspect Predicate_Failure. + 2016-04-18 Arnaud Charlet <charlet@adacore.com> * a-intsig.ads, a-intsig.adb: Removed, no longer used. |