解引用一个超出边界50%的指针(数组的数组)

这是我的"我不理解C和c++中的指针"集合中的一个新问题。

如果我混合了两个相同值的指针的位(指向相同的内存地址)，恰好有完全相同的位表示，当一个是可解引用的，一个是一个过去的结束，标准说应该发生什么?

#include <stdio.h>
#include <string.h>
#include <assert.h>
// required: a == b
// returns a copy of both a and b into dest 
// (half of the bytes of either pointers)
int *copy2to1 (int *a, int *b) {
    // check input: 
    // not only the pointers must be equal
    assert (a == b);
    // also the representation must match exactly
    int *dest;
    size_t s = sizeof(dest);
    assert(memcmp(&a, &b, s) == 0); 
    // copy a and b into dest:
    // on "exotic" architectures, size does't have to be dividable by 2
    size_t half = s/2; // = floor(s/2), 
    char *pa = (char*)&a, *pb = (char*)&b, *pd = (char*)&dest;
    // copy half of a into dest:
    memcpy (pd, pa, half);
    // copy half of b into dest:
    memcpy (pd+half, pb+half, s-half); // s-half = ceil(s/2)
    //printf ("a:%p b:%p dest:%p n", a, b, dest);    
    // check result
    assert(memcmp(&dest, &a, s) == 0);
    assert(memcmp(&dest, &b, s) == 0);
    return dest;
}
#define S 1 // size of inner array
int main(void) {
    int a[2][S] = {{1},{2}};
    int *past = a[0] + S, // one past the end of inner array a[0]
        *val = &a[1][0], // valid dereferenceable pointer
        *mix = copy2to1 (past, val);
    #define PRINT(x) printf ("%s=%p, *%s=%dn",#x,x,#x,*x)
    PRINT(past);
    PRINT(mix);
    PRINT(val);
    return 0;
}

我真正想理解的是:"p指向对象x"是什么意思?

参见

这个问题是我之前关于数组的数组的问题的一个更好的版本:

• 是一个指针的内存相同的分配?这是我另一个问题的变体:
• 解引用一个包含对象(数组的数组)地址的超出绑定的指针

和其他有关指针有效性的问题:

• 指针变量只是整数与一些操作符或他们是"神秘的"?
• 和c++问题:用相同类型的对象覆盖一个对象