diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-16 14:29:36 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-16 14:29:36 +0000 |
| commit | 2d70530c5990fc5b3780a0213c561733654b6363 (patch) | |
| tree | 270eac77157878d2ac1d4ba2c4b9f07f95787c34 /gcc/ada/sinfo.adb | |
| parent | aaa436a5f523e23d6582f4470f018b9ea18c08bd (diff) | |
| download | gcc-2d70530c5990fc5b3780a0213c561733654b6363.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212655 138bc75d-0d04-0410-961f-82ee72b054a4
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 0c1a7776502..ade3b4e6431 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 |