5.1 型に基づく解析の概要

-xalias_level オプションを使用すると、7 つの別名レベルのいずれか 1 つを指定できます。各レベルは、ユーザーの C 言語プログラムでのポインタの使用方法について、特定のプロパティーセットを指定します。

コンパイル時に -xalias_level オプションを上位に設定していくと、コンパイラは、コードのポインタに関する仮定を徐々に拡張していきます。コンパイラの作成する仮定が少ないと、それだけプログラミングの自由度が向上します。ただし、狭い仮定で実行された最適化により、実行時のパフォーマンスが向上しないことがあります。より上位レベルの -xalias_level オプションから得られる仮定に従ってコードを作成すると、最終的な最適化で実行時のパフォーマンスが向上する可能性が高くなります。

-xalias_level オプションは、各翻訳単位に適用される別名レベルを指定します。より詳細に設定したほうがよい場合、新しいプラグマを使用すると、適用されている別名レベルを無効にし、個々の型または翻訳単位のポインタ変数間の別名設定の関係性を明示的に指定できます。これらのプラグマは、翻訳単位におけるポインタの用法がいずれかの別名レベルで扱われていても、少数の特定ポインタ変数がいずれかのレベルで許可されていない不規則な方法で使用される場合にもっとも役立ちます。