diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2018-07-17 08:10:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:10:04 +0000 |
| commit | 69720717c143a9dc77d4c52dd5e2f19858425fa8 (patch) | |
| tree | 58f1e9f5f651c6376b9924d9b982df13c26b31c8 /gcc/ada/gcc-interface/utils.c | |
| parent | 123483ca18f7d6d0c5b28230e826a44a7cf4f111 (diff) | |
| download | gcc-69720717c143a9dc77d4c52dd5e2f19858425fa8.zip gcc-69720717c143a9dc77d4c52dd5e2f19858425fa8.tar.gz gcc-69720717c143a9dc77d4c52dd5e2f19858425fa8.tar.bz2 | |
[Ada] Type mismatch warning for imported C++ class
2018-07-17 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* gcc-interface/ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Define for
METHOD_TYPE too.
(TYPE_RETURN_UNCONSTRAINED_P): Likewise.
(TYPE_CI_CO_LIST): Likewise.
* gcc-interface/gigi.h (is_cplusplus_method): Delete.
(fntype_same_flags_p): Adjust comment.
* gcc-interface/decl.c (Has_Thiscall_Convention): Delete.
(gnat_to_gnu_entity) <E_Subprogram_Type>: Do not set the "thiscall"
attribute directly.
(is_cplusplus_method): Make static and adjust head comment.
(gnat_to_gnu_param): Return a pointer for the "this" parameter of
C++ constructors.
(gnat_to_gnu_subprog_type): Turn imported C++ constructors into their
callable form. Generate a METHOD_TYPE node for imported C++ methods.
Set param_list at the very end of the processing.
(substitute_in_type) <METHOD_TYPE>: New case.
* gcc-interface/misc.c (gnat_print_type) <METHOD_TYPE>: Likewise.
(gnat_type_hash_eq): Accept METHOD_TYPE.
* gcc-interface/trans.c (Identifier_to_gnu): Deal with METHOD_TYPE.
(Attribute_to_gnu): Likewise.
(Call_to_gnu): Likewise.
(process_freeze_entity): Likewise.
* gcc-interface/utils.c (create_subprog_decl): Adjust head comment.
(fntype_same_flags_p): Likewise.
From-SVN: r262792
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
| -rw-r--r-- | gcc/ada/gcc-interface/utils.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c index 5481507..a162069 100644 --- a/gcc/ada/gcc-interface/utils.c +++ b/gcc/ada/gcc-interface/utils.c @@ -3191,9 +3191,9 @@ create_label_decl (tree name, Node_Id gnat_node) } /* Return a FUNCTION_DECL node. NAME is the name of the subprogram, ASM_NAME - its assembler name, TYPE its type (a FUNCTION_TYPE node), PARAM_DECL_LIST - the list of its parameters (a list of PARM_DECL nodes chained through the - DECL_CHAIN field). + its assembler name, TYPE its type (a FUNCTION_TYPE or METHOD_TYPE node), + PARAM_DECL_LIST the list of its parameters (a list of PARM_DECL nodes + chained through the DECL_CHAIN field). INLINE_STATUS describes the inline flags to be set on the FUNCTION_DECL. @@ -3589,7 +3589,7 @@ gnat_useless_type_conversion (tree expr) return false; } -/* Return true if T, a FUNCTION_TYPE, has the specified list of flags. */ +/* Return true if T, a {FUNCTION,METHOD}_TYPE, has the specified flags. */ bool fntype_same_flags_p (const_tree t, tree cico_list, bool return_unconstrained_p, |