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/sinfo.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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 0c1a777..ade3b4e 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2338,6 +2338,14 @@ package body Sinfo is return Flag17 (N); end No_Truncation; + function Non_Aliased_Prefix + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Attribute_Reference); + return Flag18 (N); + end Non_Aliased_Prefix; + function Null_Present (N : Node_Id) return Boolean is begin @@ -5487,6 +5495,14 @@ package body Sinfo is Set_Flag17 (N, Val); end Set_No_Truncation; + procedure Set_Non_Aliased_Prefix + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Attribute_Reference); + Set_Flag18 (N, Val); + end Set_Non_Aliased_Prefix; + procedure Set_Null_Present (N : Node_Id; Val : Boolean := True) is begin |