2014-01-31 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Jan 2014 15:59:59 +0000 (15:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Jan 2014 15:59:59 +0000 (15:59 +0000)
commitd3db6e37b6c61ccc55b51e23de2b95d3ee6447d2
treedf6dbe0da6722b2edede24d28ad9d24e00b61a60
parent709c53bb498f06ba9870cbad35441273f89105a7
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207357 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch9.adb
gcc/ada/exp_util.adb
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi