restrict 修飾子(C99以降)がプログラマからコンパイラに伝える情報はどれか。

そのポインタが指す領域には、そのポインタ経由でしかアクセスしな…が正しい。