>>182
restrictを付けることも、
restrictを付けたものにエイリアスが存在しないことを保証するのも、
コードを書く人間の役割なんだよね。

だからコーディング規約で、
restrictの使用と、
コンパイラのエイリアス無しとみなして最適化するオプションの使用を、
禁止することになる。