| commit | b36063554f991c5f2473cb45dc2febdb74a6efab | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 18 Apr 2016 09:52:22 +0000 (18 09:52 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 18 Apr 2016 09:52:22 +0000 (18 09:52 +0000) | ||
| tree | e9c856e0730b169877d12cfd886fb7003f6dbad6 | treesnapshot (tar.gz zip) |
| parent | f6cf2339bbb9c65a76468a669224ab0407dc0f0d | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235107 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235107 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/exp_util.adb | diffblobblamehistory | |
| gcc/ada/sem_ch6.adb | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory |