C99におけるrestrictポインタの存在意義

ベクトル型スーパーコンピュータでは必要不可欠。ポインタをrestrictで修飾することで、そのポインタは別名を持たない、つまり、どの変数からも参照されないことが保証される。なので、ベクトル・プロセッサやSIMD演算での最適化を効率よく行うことができる。因みに、C99以前でも拡張仕様でrestrictは使われていた。

尚、restrictについては、プログラミング言語 C の新機能 - restrictポインタでの説明が詳しい。