diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:42:52 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:42:52 +0000 |
| commit | 6e9cbc70ab4b8f79e55fa03decca8c10583dea45 (patch) | |
| tree | c031180c890912b1e17b27e8d8c96fb4e9bec9b3 /libgo/PATENTS | |
| parent | 347a47cbf5f8ee0bc7e11dc97703b318d3ff259c (diff) | |
| download | gcc-6e9cbc70ab4b8f79e55fa03decca8c10583dea45.tar.gz | |
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* a-cfhama.ads, a-cfhase.ads, a-cforma.ads, a-cforse.ads Add
SPARK_Mode pragmas to the public and private part of the unit.
* sem_ch3.adb (Derive_Type_Declaration): Ensure that a derived
type cannot have discriminants if the parent type already has
discriminants.
(Process_Discriminants): Ensure that the type of a discriminant is
discrete.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): The check on
SPARK_Mode compatibility between a spec and a body can now be
safely performed while processing a generic.
* sem_ch7.adb (Analyze_Package_Body_Helper): The check on
SPARK_Mode compatibility between a spec and a body can now be
safely performed while processing a generic.
* sem_prag.adb (Analyze_Pragma): Pragma SPARK_Mode can now be
safely analyzed when processing a generic.
2014-08-04 Nicolas Roche <roche@adacore.com>
* g-dirope.adb: Minor reformating.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213575 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libgo/PATENTS')
0 files changed, 0 insertions, 0 deletions