r207949 - in /trunk/gcc/ada: ChangeLog a-cbmutr...

Thu Feb 20 14:02:00 GMT 2014

Author: charlet
Date: Thu Feb 20 14:02:27 2014
New Revision: 207949

URL: http://gcc.gnu.org/viewcvs?rev=207949&root=gcc&view=rev
Log:
2014-02-20  Robert Dewar  <dewar@adacore.com>

	* sem_ch12.adb (Validate_Access_Type_Instance): Add message if
	mismatching predicates.
	* sem_ch6.adb (Check_Conformance): Give better messages on
	predicate mismatch.
	* sem_eval.adb (Predicates_Match): Move to spec.
	* sem_eval.ads (Predicates_Match): Moved here from body.

2014-02-20  Ed Schonberg  <schonberg@adacore.com>

	* a-cbmutr.adb: Use default value in Insert_Child.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cbmutr.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/sem_eval.ads