]> git.ipfire.org Git - thirdparty/gcc.git/commit
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 31 Jan 2014 15:59:59 +0000 (16:59 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 31 Jan 2014 15:59:59 +0000 (16:59 +0100)
commitf3920a1360919acd091ba23a9566ecfda3dc37f4
treedf6dbe0da6722b2edede24d28ad9d24e00b61a60
parent31d922e39a06670353f2633232f6bb444c95cfc4
[multiple changes]

2014-01-31  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Minor update.
* gnat_rm.texi: Add example to Restriction_Warnings documentation.
* exp_util.adb: Minor reformatting.

2014-01-31  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb (Expand_Entry_Barrier): Warn if the barrier
depends on data that is not private to the protected object,
and potentially modifiable in unsynchronized fashion.

From-SVN: r207357
gcc/ada/ChangeLog
gcc/ada/exp_ch9.adb
gcc/ada/exp_util.adb
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi