diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 14:21:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 14:21:03 +0200 |
| commit | f145ece72186e2b18d2152387bd18647ed5a046d (patch) | |
| tree | 80e8036bd8fae94a5b5e2a3ba443e626a26499e5 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | 6b6254db8a902343e79632c547696915bc1e21de (diff) | |
| download | gcc-f145ece72186e2b18d2152387bd18647ed5a046d.zip gcc-f145ece72186e2b18d2152387bd18647ed5a046d.tar.gz gcc-f145ece72186e2b18d2152387bd18647ed5a046d.tar.bz2 | |
[multiple changes]
2015-10-16 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb, sem_util.ads, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb:
Minor reformatting.
* sem_ch12.adb (Analyze_Formal_Package_Declaration): Set the
SPARK_Mode from the context.
2015-10-16 Bob Duff <duff@adacore.com>
* sem_util.adb (Requires_Transient_Scope):
If Typ is a generic formal incomplete type, look at the actual
type. Otherwise, we don't notice that the actual type is tagged,
has a variant part, etc, causing a mismatch of calling conventions
between caller and callee.
2015-10-16 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.ads: Move the declaration of enumeration
literal E_Abstract_State above E_Entry. Update the upper bound
of subtype Overloadable_Kind.
2015-10-16 Gary Dismukes <dismukes@adacore.com>
* exp_attr.adb: Minor editorial changes.
From-SVN: r228878
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions