diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2016-04-18 09:52:22 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 11:52:22 +0200 |
| commit | 88fa9a245cc307a62d119797dfcd9422425f2f45 (patch) | |
| tree | e9c856e0730b169877d12cfd886fb7003f6dbad6 /gcc/ada/init.c | |
| parent | 7b47778e62c578bea9b4e34dc4cf6f7f4d01e8bc (diff) | |
| download | gcc-88fa9a245cc307a62d119797dfcd9422425f2f45.zip gcc-88fa9a245cc307a62d119797dfcd9422425f2f45.tar.gz gcc-88fa9a245cc307a62d119797dfcd9422425f2f45.tar.bz2 | |
sem_ch6.adb (Analyze_Expression_Function): Set Inlined flag on the entity of a subprogram declaration that is completed by...
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.
From-SVN: r235107
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions