diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:48:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-25 12:48:04 +0200 |
| commit | 2995860f562f4b6344e6ab81cd387d16f769a13a (patch) | |
| tree | 7705ec60d5613197c0b1dccdcb44c85060c0b2c9 /gcc/tree-complex.c | |
| parent | 49eef89f35bccc18ff2da56be533eb50ea15a988 (diff) | |
| download | gcc-2995860f562f4b6344e6ab81cd387d16f769a13a.zip gcc-2995860f562f4b6344e6ab81cd387d16f769a13a.tar.gz gcc-2995860f562f4b6344e6ab81cd387d16f769a13a.tar.bz2 | |
[multiple changes]
2013-04-25 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK_N_In): Remove procedure.
(Expand_SPARK): Remove special expansion for membership tests.
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Update all places
that should use constant Base_Typ. When building an invariant
check, account for invariants coming from the base type. Prevent
the creation of a junk invariant check when the related object
is of an array type and it is initialized with an aggregate.
* exp_util.adb (Make_Invariant_Call): Typ is now a variable. Use
the base type to create an invariant call when the type of the
expression is a composite subtype.
2013-04-25 Vasiliy Fofanov <fofanov@adacore.com>
* a-cborse.adb: Fix minor typo.
2013-04-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Different_Generic_Profile): A spec and body
match in an instance if a subtype declaration that renames a
generic actual with the same name appears between spec and body.
From-SVN: r198294
Diffstat (limited to 'gcc/tree-complex.c')
0 files changed, 0 insertions, 0 deletions