r235746 - in /trunk/gcc/ada: ChangeLog fname.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon May  2 10:36:45 2016
New Revision: 235746

URL: https://gcc.gnu.org/viewcvs?rev=235746&root=gcc&view=rev
Log:
2016-05-02  Tristan Gingold  <gingold@adacore.com>

	* fname.adb (Is_Predefined_File_Name): Also consider non-krunched
	i-* names.

2016-05-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_util.adb (Aggregate_Constraint_Checks): Separate
	accessibility checks and non-null checks for aggregate components,
	to prevent spurious accessibility errors.

2016-05-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (OK_For_Limited_Init): A type conversion is not
	always legal in the in-place initialization of a limited entity
	(e.g. an allocator).
	* sem_res.adb (Resolve_Allocator): Improve error message with RM
	reference  when allocator expression is illegal.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/fname.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb