[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 10:08:46 +0000 (11:08 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 10:08:46 +0000 (11:08 +0100)
commit582dbb53ac6d0bd46c1402584d2c4be0a34a040b
tree6e32717db983e2c599fedb1f699d0bfade203b38
parente4d0416682374541d42aebe9b3535dbfa7fd0058
[multiple changes]

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.

From-SVN: r244401
gcc/ada/ChangeLog
gcc/ada/exp_spark.adb
gcc/ada/freeze.adb
gcc/ada/gnatbind.adb
gcc/ada/osint-c.adb
gcc/ada/par-ch11.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb