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 /gcc/ada/spark_xrefs.ads | |
| 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 'gcc/ada/spark_xrefs.ads')
0 files changed, 0 insertions, 0 deletions