From: Jason Merrill Date: Fri, 16 Jul 2004 17:06:56 +0000 (-0400) Subject: revert: cp-lang.c (cxx_types_compatible_p): To the middle-end, references and pointer... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=043fdfc83e4f2e5d2b355df7ee722fd118c97e5c;p=gcc.git 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 --- diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f34b38ece3c..189ff972bbd 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -60,11 +60,6 @@ (add_conversions): Likewise. * semantics.c (finish_member_declaration): Adjust call to add_method. -2004-07-15 Jason Merrill - - * cp-lang.c (cxx_types_compatible_p): To the middle-end, - references and pointers are compatible. - 2004-07-15 Nathan Sidwell * decl.c (xref_basetypes): Refactor. diff --git a/gcc/cp/cp-lang.c b/gcc/cp/cp-lang.c index b6e933fede6..5f38fbb1025 100644 --- a/gcc/cp/cp-lang.c +++ b/gcc/cp/cp-lang.c @@ -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