r235499 - in /trunk/gcc/ada: ChangeLog a-ngcoar...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Apr 27 13:05:41 2016
New Revision: 235499

URL: https://gcc.gnu.org/viewcvs?rev=235499&root=gcc&view=rev
Log:
2016-04-27  Ed Schonberg  <schonberg@adacore.com>

	* sem_util.ads, sem_util.adb (Is_Null_Record_Type): New predicate
	to determine whether a record type is a null record.
	* sem_ch3.adb (Analyze_Object_Declaration): If the type is a
	null record and there is no expression in the declaration,
	no predicate check applies to the object.

2016-04-27  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch7.adb (Analyze_Package_Body_Helper): The body of an
	instantiated package should not cause freezing of previous contracts.

2016-04-27  Ed Schonberg  <schonberg@adacore.com>

	* sem_dim.adb (Analyze_Dimension): Handle subtype declarations
	that do not come from source.
	(Analyze_Dimension_Subtype_Declaration): Allow confirming
	dimensions on subtype entity, either inherited from base type
	or provided by aspect specification.

2016-04-27  Ed Schonberg  <schonberg@adacore.com>

	* s-gearop.ads (Matrix_Vector_Solution, Matrix_Matrix_Solution):
	Add scalar formal object Zero, to allow detection and report
	when the matrix is singular.
	* s-gearop.adb (Matrix_Vector_Solution, Matrix_Matrix_Solution):
	Raise Constraint_Error if the Forward_Eliminate pass has
	determined that determinant is Zero.o
	* s-ngrear.adb (Solve): Add actual for Zero in corresponding
	instantiations.
	* s-ngcoar.adb (Solve): Ditto.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-ngcoar.adb
    trunk/gcc/ada/a-ngrear.adb
    trunk/gcc/ada/s-gearop.adb
    trunk/gcc/ada/s-gearop.ads
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch7.adb
    trunk/gcc/ada/sem_dim.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads