r235497 - in /trunk/gcc/ada: ChangeLog a-coinve...

[charlet@gcc.gnu.org]

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