diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-16 16:29:36 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-16 16:29:36 +0200 |
| commit | b07b7acecfd5b064a30b15b4767401ff56a60da7 (patch) | |
| tree | 270eac77157878d2ac1d4ba2c4b9f07f95787c34 /gcc/ada/ug_words | |
| parent | 904aac81db2a08a89fcfd6321cdf5b1f328d94ee (diff) | |
| download | gcc-b07b7acecfd5b064a30b15b4767401ff56a60da7.zip gcc-b07b7acecfd5b064a30b15b4767401ff56a60da7.tar.gz gcc-b07b7acecfd5b064a30b15b4767401ff56a60da7.tar.bz2 | |
[multiple changes]
2014-07-16 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Process_Declarations): Reinstate the check on
a hook object to ensure that the related transient declaration
is finalizable.
* exp_util.adb (Is_Aliased): Do not consider expresison with
actions as a special context.
(Requires_Cleanup_Actions): Reinstate the check on a hook object to
ensure that the related transient declaration is finalizable.
2014-07-16 Robert Dewar <dewar@adacore.com>
* checks.ads, checks.adb (Allocation_Checks_Suppressed): New function.
* snames.ads-tmpl: Add Allocation_Check to list of check names.
* types.ads: Add Allocation_Check to list of check names.
2014-07-16 Thomas Quinot <quinot@adacore.com>
* sem_util.adb (Enter_Name): replace bogus test for presence of
Corresponding_Remote_Type with correct test on Ekind.
* sem_res.adb (Valid_Conversion): ditto; also clarify validity
of calls to Corresponding_ Remote_Type (documentation fix).
2014-07-16 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document illegal case of Unrestricted_Access.
* sem_attr.adb (Analyze_Access_Attribute): Set_Non_Aliased_Prefix
where it applies.
(Resolve_Attribute, case Access): Flag illegal Unrestricted_Access use.
* sinfo.ads, sinfo.adb (Non_Aliased_Prefix): New flag.
From-SVN: r212655
Diffstat (limited to 'gcc/ada/ug_words')
0 files changed, 0 insertions, 0 deletions