>>581
アクセスはだめです。一個超えたところのポインタ値を生成するのは合法です。

char a[8];
char *p = a;

p += 8; /* 末尾より一個超えてるけど合法 */
*p; /* 参照はダメ */