r254571 - in /trunk/gcc: ada/exp_ch3.adb ada/gn...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Thu Nov  9 11:49:44 2017
New Revision: 254571

URL: https://gcc.gnu.org/viewcvs?rev=254571&root=gcc&view=rev
Log:
gcc/ada/

2017-11-09  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch3.adb, gnat1drv.adb, namet.adb, namet.ads, sem_aggr.adb,
	sem_ch2.adb, sem_ch4.adb: Minor reformatting.
	* sem_res.adb (Resolve_Entity_Name): Suppress spurious error on read of
	out parameter when in Ada_83 mode, the oarameter is of a composite
	type, and it appears as the prefix of an attribute.

2017-11-09  Bob Duff  <duff@adacore.com>

	* sinfo.ads: Minor comment fix.

2017-11-09  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.ads: Add pragmas Unmodified and Unreferenced to table
	Pragma_Significant_In_SPARK.

gcc/testsuite/

2017-11-09  Hristian Kirtchev  <kirtchev@adacore.com>

	* gnat.dg/unreferenced.adb: New testcase.

2017-11-09  Ed Schonberg  <schonberg@adacore.com>

	* gnat.dg/out_param.adb: New testcase.

Added:
    trunk/gcc/testsuite/gnat.dg/out_param.adb
    trunk/gcc/testsuite/gnat.dg/unreferenced.adb
Modified:
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/namet.adb
    trunk/gcc/ada/namet.ads
    trunk/gcc/ada/sem_aggr.adb
    trunk/gcc/ada/sem_ch2.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_prag.ads
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sinfo.ads
    trunk/gcc/testsuite/ChangeLog