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/tree-dfa.c | |
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/tree-dfa.c')
0 files changed, 0 insertions, 0 deletions