Did you miss the part where two pointers with identical bit patterns can compare not equal? E.g. in recent versions of gcc

    #include <stdio.h>

    int main(void)
    {
        int x, y;
        int *p = &x + 1;
        int *q = &y;
        printf("%p %p %d\n", p, q, p == q);
        return 0;
    }

prints

    0x7f7fffffdafc 0x7f7fffffdafc 0