exp_ch3.adb, [...]: Minor reformatting.
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 9 Nov 2017 11:49:44 +0000 (11:49 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 9 Nov 2017 11:49:44 +0000 (11:49 +0000)
commitd63199d8e6e9fc18cbd48375d7d44c023104ddd4
tree8dbf06fc58c9c737669fb57e98a68c8b2a29c567
parentdcd5fd67facffa75407125066f8db852f5ee580e
exp_ch3.adb, [...]: Minor reformatting.

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.

From-SVN: r254571
13 files changed:
gcc/ada/exp_ch3.adb
gcc/ada/gnat1drv.adb
gcc/ada/namet.adb
gcc/ada/namet.ads
gcc/ada/sem_aggr.adb
gcc/ada/sem_ch2.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_prag.ads
gcc/ada/sem_res.adb
gcc/ada/sinfo.ads
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/out_param.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/unreferenced.adb [new file with mode: 0644]