This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r235497 - in /trunk/gcc/ada: ChangeLog a-coinve...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 27 Apr 2016 12:55:18 -0000
- Subject: r235497 - in /trunk/gcc/ada: ChangeLog a-coinve...
Author: charlet
Date: Wed Apr 27 12:55:18 2016
New Revision: 235497
URL: https://gcc.gnu.org/viewcvs?rev=235497&root=gcc&view=rev
Log:
2016-04-27 Bob Duff <duff@adacore.com>
* a-coinve.adb, a-comutr.adb, a-conhel.adb, a-convec.adb,
exp_util.adb: Remove assertions that can fail in obscure cases when
assertions are turned on but tampering checks are turned off.
2016-04-27 Javier Miranda <miranda@adacore.com>
* exp_ch6.adb (Add_Call_By_Copy_Code,
Add_Simple_Call_By_Copy_Code, Expand_Actuals): Handle formals
whose type comes from the limited view.
2016-04-27 Yannick Moy <moy@adacore.com>
* a-textio.adb: Complete previous patch.
2016-04-27 Yannick Moy <moy@adacore.com>
* inline.adb (Expand_Inlined_Call): Use Cannot_Inline instead of
Error_Msg_N to issue message about impossibility to inline call,
with slight change of message.
2016-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* exp_spark.adb (Expand_Potential_Renaming): Removed.
(Expand_SPARK): Update the call to expand a potential renaming.
(Expand_SPARK_Potential_Renaming): New routine.
* exp_spark.ads (Expand_SPARK_Potential_Renaming): New routine.
* sem.adb Add with and use clauses for Exp_SPARK.
(Analyze): Expand a non-overloaded potential renaming for SPARK.
2016-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Constrain_Discriminated_Type): In an instance,
check full view for the presence of defaulted discriminants,
even when the partial view of a private type has no visible and
no unknown discriminants.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-coinve.adb
trunk/gcc/ada/a-comutr.adb
trunk/gcc/ada/a-conhel.adb
trunk/gcc/ada/a-convec.adb
trunk/gcc/ada/a-textio.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/exp_spark.adb
trunk/gcc/ada/exp_spark.ads
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem.adb
trunk/gcc/ada/sem_ch3.adb