インテル® C++ コンパイラー 14.0 ユーザー・リファレンス・ガイド
定数へのポインター型のパラメーターが非定数へのポインター型のパラメーターとエイリアスしないと仮定するかどうかをコンパイラーに指定します。
このオプションは、定数へのポインター型のパラメーターが非定数へのポインター型のパラメーターをエイリアスしないことを仮定するようにコンパイラーに指定します。定数の追加属性を意味します。
これは、入力/出力バッファー引数が重複しないことを想定する入力/出力バッファー規則に合致しています。このオプションを指定することで、コンパイラーは、定数パラメーターに関連するいくつかの追加の最適化を実行します。
C99 では、キーワードを使用してポインター型のパラメーターを別に宣言することで、同じ結果を得ることができます。