diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-11 21:44:44 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-11 21:44:44 +0000 |
| commit | 77d3568815aaad6487a295a42e0fce17c1c71b19 (patch) | |
| tree | f9fd5b7f95f54528ed914ff8348f63ec1722000e /gcc/ada/checks.adb | |
| parent | 5f5dce8d85baa565d58eb34f4723b14b828417b4 (diff) | |
| download | gcc-77d3568815aaad6487a295a42e0fce17c1c71b19.tar.gz | |
2010-10-11 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 165329
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165333 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 2362c13acb4..9a942d98f9a 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1193,11 +1193,11 @@ package body Checks is if Present (Lhs) and then (Present (Param_Entity (Lhs)) - or else (Ada_Version < Ada_05 + or else (Ada_Version < Ada_2005 and then not Is_Constrained (T_Typ) and then Is_Aliased_View (Lhs) and then not Is_Aliased_Unconstrained_Component) - or else (Ada_Version >= Ada_05 + or else (Ada_Version >= Ada_2005 and then not Is_Constrained (T_Typ) and then Denotes_Explicit_Dereference (Lhs) and then Nkind (Original_Node (Lhs)) /= @@ -1216,7 +1216,7 @@ package body Checks is -- Ada 2005: nothing to do if the type is one for which there is a -- partial view that is constrained. - elsif Ada_Version >= Ada_05 + elsif Ada_Version >= Ada_2005 and then Has_Constrained_Partial_View (Base_Type (T_Typ)) then return; |