This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r212721 - in /trunk/gcc/ada: ChangeLog exp_util...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 17 Jul 2014 06:22:32 -0000
- Subject: r212721 - in /trunk/gcc/ada: ChangeLog exp_util...
Author: charlet
Date: Thu Jul 17 06:22:32 2014
New Revision: 212721
URL: https://gcc.gnu.org/viewcvs?rev=212721&root=gcc&view=rev
Log:
2014-07-17 Robert Dewar <dewar@adacore.com>
* sem_aux.ads: Minor comment addition.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): If the call is already
a rewriting of an operator node, there are no actuals to be
propagated from original node to rewritten node when in ASIS mode.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Contract,
Analyze_Subprogram_Contract): Add new local variable Mode. Save
and restore the SPARK mode of the related construct in a
stack-like fashion.
* sem_ch7.adb (Analyze_Package_Body_Contract,
Analyze_Package_Contract): Add new local variable Mode. Save and
restore the SPARK mode of the related construct in a stack-like fashion.
* sem_util.adb Remove with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
* sem_util.ads Add with and use clause for Opt.
(Restore_SPARK_Mode): New routine.
(Save_SPARK_Mode_And_Set): New routine.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Is_Aliased): Transient objects
within an expression with actions cannot be considered aliased.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/sem_aux.ads
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_ch7.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads