diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-27 17:37:28 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-27 17:37:28 +0100 |
commit | b3a699930b7b61d37753e8714929cd2d9c1fb6d8 (patch) | |
tree | 86a77549b0ac95156b535e113eed4b6b7b55122b /COPYING3 | |
parent | f1bd0415ad180f4cfeccdb966dff4a9ff4203fa1 (diff) | |
download | gcc-b3a699930b7b61d37753e8714929cd2d9c1fb6d8.zip gcc-b3a699930b7b61d37753e8714929cd2d9c1fb6d8.tar.gz gcc-b3a699930b7b61d37753e8714929cd2d9c1fb6d8.tar.bz2 |
[multiple changes]
2014-01-27 Thomas Quinot <quinot@adacore.com>
* exp_smem.adb (Expand_Shared_Passive_Variable): For a reference
to a shared variable as an OUT formal in a call to an init proc,
the 'Read call must be emitted after, not before, the call.
2014-01-27 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Remove mention of AUTO mode for SPARK_Mode pragma.
From-SVN: r207139
Diffstat (limited to 'COPYING3')
0 files changed, 0 insertions, 0 deletions