projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1bd041) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 27 Jan 2014 16:37:28 +0000 (17:37 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 27 Jan 2014 16:37:28 +0000 (17:37 +0100)
commitb3a699930b7b61d37753e8714929cd2d9c1fb6d8
tree86a77549b0ac95156b535e113eed4b6b7b55122btree
parentf1bd0415ad180f4cfeccdb966dff4a9ff4203fa1commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_smem.adb diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history