diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:16:44 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:16:44 +0100 |
| commit | 5fde9688e077411aa90e1067b8fb9c1d743e4e7f (patch) | |
| tree | f21b0d91a33cad9b9a346ca381e6543fa540445a /gcc/reg-stack.c | |
| parent | 6c802906a388f6816ba641f8ec83ef812ffe8fbd (diff) | |
| download | gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.zip gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.tar.gz gcc-5fde9688e077411aa90e1067b8fb9c1d743e4e7f.tar.bz2 | |
[multiple changes]
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Implemented): In ASIS
(compile-only) mode, use original type declaration to determine
whether protected type implements an interface.
2014-11-20 Yannick Moy <moy@adacore.com>
* a-cfdlli.adb, a-cfdlli.ads, a-cfinve.adb, a-cfinve.ads,
* a-cofove.adb, a-cofove.ads: Mark spec as SPARK_Mode, and private
part/body as SPARK_Mode Off.
* a-cfhama.adb, a-cfhama.ads, a-cfhase.adb, a-cfhase.ads,
* a-cforma.adb, a-cforma.ads, a-cforse.adb, a-cforse.ads: Use
aspect instead of pragma for uniformity.
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Is_EVF_Expression): Include
attributes 'Loop_Entry, 'Old and 'Update to the logic.
2014-11-20 Bob Duff <duff@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): Don't
call Left_Opnd in the case of unary operators, because they only
have Right.
From-SVN: r217838
Diffstat (limited to 'gcc/reg-stack.c')
0 files changed, 0 insertions, 0 deletions