diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-08-04 12:49:23 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:49:23 +0200 |
| commit | df9107226f53d4ba405c2fb4c5d5c9ee2aaaec1f (patch) | |
| tree | 58fef9c6eac0123c2f9470fbeb5811400f7203d6 /gcc/ada/cstreams.c | |
| parent | 4ff2b6dcc98d42fb75c4491ab3871cef10857ebf (diff) | |
| download | gcc-df9107226f53d4ba405c2fb4c5d5c9ee2aaaec1f.zip gcc-df9107226f53d4ba405c2fb4c5d5c9ee2aaaec1f.tar.gz gcc-df9107226f53d4ba405c2fb4c5d5c9ee2aaaec1f.tar.bz2 | |
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* a-cfhama.adb, a-cfhase.adb, a-cforma.adb, a-cforse.adb Add
SPARK_Mode in the body.
* sem_ch7.adb (Analyze_Package_Body_Helper): Restore the original
way to verify the consistency of SPARK_Mode between a spec and
a body.
* sem_ch12.adb (Analyze_Package_Instantiation): Remove the call
to Set_Ignore_Pragma_SPARK_Mode. Set flag Ignore_Pragma_SPARK_Mode
manually.
(Analyze_Subprogram_Instantiation): Remove the call to
Set_Ignore_Pragma_SPARK_Mode. Set flag Ignore_Pragma_SPARK_Mode
manually.
* sem_prag.adb (Analyze_Pragma): Remove local variable
Inst_Id. SPARK_Mode can no longer be applied to a package or
subprogram instantiation.
* sem_util.adb, sem_util.ads (Set_Ignore_Pragma_SPARK_Mode):
Removed.
From-SVN: r213578
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions