diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-02 09:28:52 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-02 09:28:52 +0000 |
commit | fe0961a8b0600f3027619b822fd3a9b1590a319b (patch) | |
tree | fe34ef6c58c1a93d975ee7e97fca2c2f594e48ed /gcc/ada/sem_attr.adb | |
parent | 134520e85a8d8fd0ad136995ceb371addbd88fe4 (diff) | |
download | ppe42-gcc-fe0961a8b0600f3027619b822fd3a9b1590a319b.tar.gz ppe42-gcc-fe0961a8b0600f3027619b822fd3a9b1590a319b.zip |
2011-09-02 Robert Dewar <dewar@adacore.com>
* exp_util.adb, exp_ch9.adb, sem_attr.adb, sem_ch6.adb: Minor
reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178450 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_attr.adb')
-rw-r--r-- | gcc/ada/sem_attr.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 5efa6896370..789cb4763d4 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -4939,12 +4939,15 @@ package body Sem_Attr is -- all scope checks and checks for aliased views are omitted. when Attribute_Unrestricted_Access => + + -- If from source, deal with relevant restrictions + if Comes_From_Source (N) then Check_Restriction (No_Unchecked_Access, N); if Nkind (P) in N_Has_Entity - and then Present (Entity (P)) - and then Is_Object (Entity (P)) + and then Present (Entity (P)) + and then Is_Object (Entity (P)) then Check_Restriction (No_Implicit_Aliasing, N); end if; |