From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-83829-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 11167 invoked by alias); 27 Jan 2004 10:19:30 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 11159 invoked by uid 48); 27 Jan 2004 10:19:28 -0000
Date: Tue, 27 Jan 2004 10:19:00 -0000
From: "smelkov at mph1 dot phys dot spbu dot ru" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20040127101921.13881.smelkov@mph1.phys.spbu.ru>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/13881] New: pointer-to-data-member: rejects cast but allows comparision
X-Bugzilla-Reason: CC
X-SW-Source: 2004-01/txt/msg03378.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

It is possible to compare 'A C::*' with 'B C::*' (B inherits from A) 
while cast from 'B C::*' to 'A C::*' is rejected. 
 
I used to think that member pointers have same semantics when bound, 
so if 'B*' can be casted to 'A*', someone might expect that 'B C::*' can be casted to 'A C::*' 
(for example for plain non-virtual data-members). 
 
see code below. 
 
--- 
class A {}; 
class B : public A {}; 
 
class C { 
public: 
    A a; 
    B b; 
}; 
 
int main() 
{ 
    A C::*  memptr_a  =  &C::a;         // ok 
    B C::*  memptr_b  =  &C::b;         // ok 
 
    if (memptr_a == memptr_b)           // ok 
        return 1; 
 
    if (&C::a == &C::b)                 // ok 
        return 1; 
 
    // but the following produce errors: 
 
    // error: invalid conversion from `B C::*' to `A C::*' 
    memptr_a = memptr_b; 
 
    // error: invalid conversion from `B C::*' to `A C::*' 
    A C::*  memptr_a2  = &C::b; 
 
    return 0; 
} 
--- 
 
By the way: icc rejects comparision of 'A C::*' with 'B C::*' 
so this bug is about 
- 'invalid code accepted' (allows comparision), or 
- 'valid code rejected' (rejects casting) 
 
 
Can someone shed light on this subject? 
 
-- 
	Kirill.

-- 
           Summary: pointer-to-data-member: rejects cast but allows
                    comparision
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: smelkov at mph1 dot phys dot spbu dot ru
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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