This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r217838 - in /trunk/gcc/ada: ChangeLog a-cfdlli...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 20 Nov 2014 11:16:44 -0000
- Subject: r217838 - in /trunk/gcc/ada: ChangeLog a-cfdlli...
Author: charlet
Date: Thu Nov 20 11:16:44 2014
New Revision: 217838
URL: https://gcc.gnu.org/viewcvs?rev=217838&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-cfdlli.adb
trunk/gcc/ada/a-cfdlli.ads
trunk/gcc/ada/a-cfhama.adb
trunk/gcc/ada/a-cfhama.ads
trunk/gcc/ada/a-cfhase.adb
trunk/gcc/ada/a-cfhase.ads
trunk/gcc/ada/a-cfinve.adb
trunk/gcc/ada/a-cfinve.ads
trunk/gcc/ada/a-cforma.adb
trunk/gcc/ada/a-cforma.ads
trunk/gcc/ada/a-cforse.adb
trunk/gcc/ada/a-cforse.ads
trunk/gcc/ada/a-cofove.adb
trunk/gcc/ada/a-cofove.ads
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb