r244401 - in /trunk/gcc/ada: ChangeLog exp_spar...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan 13 10:08:46 2017
New Revision: 244401

URL: https://gcc.gnu.org/viewcvs?rev=244401&root=gcc&view=rev
Log:
2017-01-13  Justin Squirek  <squirek@adacore.com>

	* sem_ch12.adb (Analyze_Package_Instantiation): Move disabiling
	of the style check until after preanalysis of acutals.

2017-01-13  Yannick Moy  <moy@adacore.com>

	* sem_ch13.adb: Minor reformatting.
	* par-ch11.adb: minor style fix in whitespace
	* gnatbind.adb (Gnatbind): Scope of Std_Lib_File
	reduced to Add_Artificial_ALI_File; style fix in declaration of
	Text; grammar fix in comment.
	* osint-c.adb (Read_Library_Info): strip trailing NUL from result.
	* freeze.adb: Cleanup to pass pragma instead of
	expression to call.
	* exp_spark.adb (Expand_SPARK_Attribute_Reference): New procedure to
	replace System'To_Address by equivalent call.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_spark.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/gnatbind.adb
    trunk/gcc/ada/osint-c.adb
    trunk/gcc/ada/par-ch11.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch13.adb