diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:49:55 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:49:55 +0200 |
commit | 62d40a7a4e9d8e16149d274f1370bd3024eb2bd5 (patch) | |
tree | 40cf95a701fe611bafde52966581fddd6a101dfc /gcc/ada/einfo.ads | |
parent | d86fb53f2099c77d14ce59f2dda30bcfeb1df328 (diff) | |
download | gcc-62d40a7a4e9d8e16149d274f1370bd3024eb2bd5.zip gcc-62d40a7a4e9d8e16149d274f1370bd3024eb2bd5.tar.gz gcc-62d40a7a4e9d8e16149d274f1370bd3024eb2bd5.tar.bz2 |
[multiple changes]
2017-05-02 Eric Botcazou <ebotcazou@adacore.com>
* atree.h (Flag290): Add missing terminating parenthesis.
* einfo.adb (Is_Class_Wide_Clone): Use Flag290.
(Set_Is_Class_Wide_Clone): Likewise.
* einfo.ads (Is_Class_Wide_Clone): Likewise.
2017-05-02 Gary Dismukes <dismukes@adacore.com>
* checks.ads (Null_Exclusion_Static_Checks): Add Boolean
parameter Array_Comp to indicate the case of an array object
with null-excluding components.
* checks.adb (Null_Exclusion_Static_Checks):
Call Compile_Time_Constraint_Error instead of
Apply_Compile_Time_Constraint_Error in the component case. Also
call that when Array_Comp is True, with an appropriate warning for
the array component case. Only create an explicit initialization
by null in the case of an object of a null-excluding access type
(and no longer do that in the component case).
* sem_ch3.adb (Check_Component): Add a Boolean parameter
Array_Comp defaulted to False. Pass Empty for the Comp
actual when calling Null_Exclusion_Static_Checks in the case
where Comp_Decl matches Object_Decl, because we don't have a
component in that case. In the case of an object or component
of an array type, pass True for Array_Comp on the recursive call
to Check_Component.
From-SVN: r247474
Diffstat (limited to 'gcc/ada/einfo.ads')
-rw-r--r-- | gcc/ada/einfo.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 61694bf..f2b9d93 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -2356,7 +2356,7 @@ package Einfo is -- Defined in all entities. Set only for defining entities of program -- units that are child units (but False for subunits). --- Is_Class_Wide_Clone (Flag302) +-- Is_Class_Wide_Clone (Flag290) -- Defined on subprogram entities. Set for subprograms built in order -- to implement properly the inheritance of class-wide pre- or post- -- conditions when the condition contains calls to other primitives |