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/checks.adb | |
| 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/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 61d0324..87777de 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -419,6 +419,19 @@ package body Checks is end if; end Alignment_Checks_Suppressed; + ---------------------------------- + -- Allocation_Checks_Suppressed -- + ---------------------------------- + + function Allocation_Checks_Suppressed (E : Entity_Id) return Boolean is + begin + if Present (E) and then Checks_May_Be_Suppressed (E) then + return Is_Check_Suppressed (E, Allocation_Check); + else + return Scope_Suppress.Suppress (Allocation_Check); + end if; + end Allocation_Checks_Suppressed; + ------------------------- -- Append_Range_Checks -- ------------------------- |