diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-23 09:58:23 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-23 09:58:23 +0000 |
| commit | 0d78d2d46ec11ca6ba8648d43191b07f92fb0ba4 (patch) | |
| tree | 6a1ea022beb7e6eb04a80af7cd17a8d04eec02c7 /gcc/ada/exp_attr.adb | |
| parent | 056158b3d53458eb9161aa6e0125df0e83ef8f60 (diff) | |
| download | gcc-0d78d2d46ec11ca6ba8648d43191b07f92fb0ba4.tar.gz | |
2013-04-23 Ed Schonberg <schonberg@adacore.com>
* sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):
Rename subprogram as Object_Type_Has_Constrained_Partial_View, better
description of purpose.
* checks.adb (Apply_Discriminant_Check): Use above renaming.
* sem_ch4.adb (Analyze_Allocator): Check Has_Constrained_Partial_View
of the base type, rather than using the Object_Type predicate.
* sem_attr.adb (Analyze_Attribute, case 'Access): Use above renaming.
* sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): ditto.
* exp_attr.adb (Expand_N_Attribute_Reference, case 'Constrained): Ditto.
* exp_ch4.adb (Expand_N_Allocator): Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198188 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_attr.adb')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index a55a32ccd7b..832d182414d 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -1791,7 +1791,7 @@ package body Exp_Attr is or else (Nkind (Obj) = N_Explicit_Dereference and then - not Effectively_Has_Constrained_Partial_View + not Object_Type_Has_Constrained_Partial_View (Typ => Base_Type (Etype (Obj)), Scop => Current_Scope))); end if; @@ -1915,7 +1915,7 @@ package body Exp_Attr is or else (Nkind (Pref) = N_Explicit_Dereference and then - not Effectively_Has_Constrained_Partial_View + not Object_Type_Has_Constrained_Partial_View (Typ => Base_Type (Ptyp), Scop => Current_Scope)) or else Is_Constrained (Underlying_Type (Ptyp)) |