diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-08-04 12:45:12 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:45:12 +0200 |
| commit | e72a92e447fc0d13a6744e4d4a5e2c50c8515f79 (patch) | |
| tree | f5488c780cbf99d6b7959196d3068808076b3d71 /gcc/ada/cstreams.c | |
| parent | f1c7be38adce544fa0fba6c33cb67dd8d66886c0 (diff) | |
| download | gcc-e72a92e447fc0d13a6744e4d4a5e2c50c8515f79.zip gcc-e72a92e447fc0d13a6744e4d4a5e2c50c8515f79.tar.gz gcc-e72a92e447fc0d13a6744e4d4a5e2c50c8515f79.tar.bz2 | |
sem_ch7.adb (Analyze_Package_Body_Helper): When verifying the compatibility of SPARK_Mode between a spec and a body...
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch7.adb (Analyze_Package_Body_Helper): When verifying the
compatibility of SPARK_Mode between a spec and a body, use the
SPARK_Mode of the public part.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Use
the already available routine to exchange the aspects between
the template and its copy. Analyze the aspects of copy to
ensure that the corresponding pragmas perform their semantic
effects. The partial analysis of aspects is no longer needed.
(Analyze_Package_Instantiation): Save and restore the SPARK_Mode
of the context.
(Analyze_Subprogram_Instantiation): Save and restore the SPARK_Mode of
the context.
* sem_prag.adb (Analyze_Pragma): Do not bypass a subprogram
instantiation which does not come from source.
From-SVN: r213576
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions