search for: _compatibility_

...to an arbitrary pointer type (6.3.2.3p1): A pointer to void may be converted to or from a pointer to any incomplete or object type. A pointer to any incomplete or object type may be converted to a pointer to void and back again; the result shall compare equal to the original pointer. But the _compatibility_ rules for pointers don't mention void* (6.7.5.1p2): For two pointer types to be compatible, both shall be identically qualified and both shall be pointers to compatible types. Nor is there an exception carved out in 6.5p1. Among other things, this permits null pointers to have different...

On 2009-11-16 22:46, John Criswell wrote: > [snip] >> >> My initial message (containing the patch) was a private reply to John. >> >> Attached the patch again, it applies with 'patch -p0'. >> >> Also try to build on x86-32, x86-64 is not quite ready yet. >> > Actually, I made one small change to the patch. I kept -Werror in >

...6.3.2.3p1): > > A pointer to void may be converted to or from a pointer to any > incomplete or object type. A pointer to any incomplete or object type > may be converted to a pointer to void and back again; the result shall > compare equal to the original pointer. > > But the _compatibility_ rules for pointers don't mention void* > (6.7.5.1p2): > > For two pointer types to be compatible, both shall be identically > qualified and both shall be pointers to compatible types. > > Nor is there an exception carved out in 6.5p1. > > Among other things, this permi...