ポインタ p1, p2 について、p1 – p2 が定義されるのはどのような場合か。

restrict 修飾子をポインタに付けることで、コンパイラはどのような最適化を行いやすくなるか。