[Bug c++/91844] Implement CWG 2352, Similar types and reference binding

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91844

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Mon Sep 23 17:37:54 2019
New Revision: 276058

URL: https://gcc.gnu.org/viewcvs?rev=276058&root=gcc&view=rev
Log:
        PR c++/91844 - Implement CWG 2352, Similar types and reference binding.
        * call.c (reference_related_p): Use similar_type_p instead of
        same_type_p.
        (reference_compatible_p): Update implementation to match CWG 2352.
        * cp-tree.h (similar_type_p): Declare.
        * typeck.c (similar_type_p): New.

        * g++.dg/cpp0x/pr33930.C: Add dg-error.
        * g++.dg/cpp0x/ref-bind1.C: New test.
        * g++.dg/cpp0x/ref-bind2.C: New test.
        * g++.dg/cpp0x/ref-bind3.C: New test.
        * g++.old-deja/g++.pt/spec35.C: Remove dg-error.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/ref-bind1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/ref-bind2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/ref-bind3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/pr33930.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/spec35.C