diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-09 11:49:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-09 11:49:44 +0000 |
| commit | d63199d8e6e9fc18cbd48375d7d44c023104ddd4 (patch) | |
| tree | 8dbf06fc58c9c737669fb57e98a68c8b2a29c567 /gcc/ada/sem_prag.ads | |
| parent | dcd5fd67facffa75407125066f8db852f5ee580e (diff) | |
| download | gcc-d63199d8e6e9fc18cbd48375d7d44c023104ddd4.zip gcc-d63199d8e6e9fc18cbd48375d7d44c023104ddd4.tar.gz gcc-d63199d8e6e9fc18cbd48375d7d44c023104ddd4.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 33dbe48..57fb8e5 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -191,6 +191,8 @@ package Sem_Prag is Pragma_Remote_Types => False, Pragma_Shared_Passive => False, Pragma_Task_Dispatching_Policy => False, + Pragma_Unmodified => False, + Pragma_Unreferenced => False, Pragma_Warnings => False, others => True); |