[Bug c++/16853] New: [3.4/3.5 regression] pointer-to-member initialization from incompatible one accepted

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following problem is another spin-off from PR 13092
(inspired by Andrei Gaponenko's submission in comment #20).
It does compile on 3.4 branch and mainline although it shouldn't:

===========================
struct A {};
struct B {};

int B::* b;
int A::* a = b;
===========================

-- 
           Summary: [3.4/3.5 regression] pointer-to-member initialization
                    from incompatible one accepted
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16853