🚀 go-pugleaf

sjm@bcrki65.bnr.ca (Stuart MacMartin) writes:

>In article <BzDs2x.wA@frumious.uucp> uunet.ca!frumious!pat writes:
>>
>>   Two pointers to the same object compare equal.  If two pointers

>...but nowhere do I see a statement that (p == q) ==> p and q point
>to the same object, even if p and q are the same type.

Right.  In the C Standard, it is stated explicitly that two pointers
of the same type which compare equal point to the same object or
function.  There is no such statment for C++ in the ARM or in the
current C++ Committee working draft.

I believe this issue needs to be resolved.  (Obviously, we need
to exclude pointer-to-member from such a requirement.)
-- 

Steve Clamage, TauMetric Corp, steve@taumet.com