HP's object layout, clarification

[Jason Merrill]

>>>>> Christophe de Dinechin <ddd at cup.hp.com> writes:

 > However, I think you can legitimately claim that a pointer to a base  
 > and a pointer to a derived class, after conversion, point to the  
 > same object.

If you convert them to the common type before converting to void*, yes.
Otherwise it's the same situation as with parallel bases.  I believe that
the intent of 5.10 was to talk about comparing using the same
pointer-to-class type, and that comparing via a pointer-to-void or some
other unrelated type should have different rules.

 > I have no personal preference on the subject, as long as everybody  
 > agrees on the correct solution. Do we want some clarification on this  
 > from c++core?

I suppose so.  I've sent off a note.

Jason