r211460 - in /trunk/gcc/ada: ChangeLog einfo.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jun 11 12:42:28 2014
New Revision: 211460

URL: http://gcc.gnu.org/viewcvs?rev=211460&root=gcc&view=rev
Log:
2014-06-11  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Analyze_Input_Item): Allow formal
	parameters to appear as input_items in an initialization_list
	of pragma Initializes. Encapsulation now applies to states and
	variables only (as it should). Add RM references to key errors.
	* sem_prag.adb (Set_Imported): Suppress errors
	about preceding Imports when the pragma does not come from source,
	which can happen through use of pragma Provide_Shift_Operators.

2014-06-11  Thomas Quinot  <quinot@adacore.com>

	* sem_ch3.adb: Minor reformatting.
	* einfo.ads (Full_View): Minor comment update.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_prag.adb