mirror of
https://gcc.gnu.org/git/gcc.git
synced 2026-02-22 12:00:03 -05:00
revert: cp-lang.c (cxx_types_compatible_p): To the middle-end, references and pointers are compatible.
revert:
* cp-lang.c (cxx_types_compatible_p): To the middle-end,
references and pointers are compatible.
From-SVN: r84820
This commit is contained in:
@@ -60,11 +60,6 @@
|
||||
(add_conversions): Likewise.
|
||||
* semantics.c (finish_member_declaration): Adjust call to add_method.
|
||||
|
||||
2004-07-15 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* cp-lang.c (cxx_types_compatible_p): To the middle-end,
|
||||
references and pointers are compatible.
|
||||
|
||||
2004-07-15 Nathan Sidwell <nathan@codesourcery.com>
|
||||
|
||||
* decl.c (xref_basetypes): Refactor.
|
||||
|
||||
@@ -317,23 +317,9 @@ cp_var_mod_type_p (tree type, tree fn)
|
||||
return false;
|
||||
}
|
||||
|
||||
/* This compares two types for equivalence ("compatible" in C-based languages).
|
||||
This routine should only return 1 if it is sure. It should not be used
|
||||
in contexts where erroneously returning 0 causes problems. */
|
||||
|
||||
static int cxx_types_compatible_p (tree x, tree y)
|
||||
{
|
||||
if (same_type_ignoring_top_level_qualifiers_p (x, y))
|
||||
return 1;
|
||||
|
||||
/* Once we get to the middle-end, references and pointers are
|
||||
interchangeable. FIXME should we try to replace all references with
|
||||
pointers? */
|
||||
if (POINTER_TYPE_P (x) && POINTER_TYPE_P (y)
|
||||
&& same_type_p (TREE_TYPE (x), TREE_TYPE (y)))
|
||||
return 1;
|
||||
|
||||
return 0;
|
||||
return same_type_ignoring_top_level_qualifiers_p (x, y);
|
||||
}
|
||||
|
||||
/* Construct a C++-aware pretty-printer for CONTEXT. It is assumed
|
||||
|
||||
Reference in New Issue
Block a user