diff options
author | Ed Schonberg <schonberg@adacore.com> | 2013-04-23 09:58:23 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-23 11:58:23 +0200 |
commit | 0fbcb11c6251ed09ef715f9552e27321059cef35 (patch) | |
tree | 6a1ea022beb7e6eb04a80af7cd17a8d04eec02c7 /gcc/ada/checks.adb | |
parent | 20a65dcba9a95dd40a8794324e833d5ff9f07544 (diff) | |
download | gcc-0fbcb11c6251ed09ef715f9552e27321059cef35.zip gcc-0fbcb11c6251ed09ef715f9552e27321059cef35.tar.gz gcc-0fbcb11c6251ed09ef715f9552e27321059cef35.tar.bz2 |
sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogram as Object_Type_Has_Constrained_Partial_View...
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.
From-SVN: r198188
Diffstat (limited to 'gcc/ada/checks.adb')
-rw-r--r-- | gcc/ada/checks.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 73aefb0..964aed5 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1479,7 +1479,7 @@ package body Checks is -- partial view that is constrained. elsif Ada_Version >= Ada_2005 - and then Effectively_Has_Constrained_Partial_View + and then Object_Type_Has_Constrained_Partial_View (Typ => Base_Type (T_Typ), Scop => Current_Scope) then |