5.2.1 #pragma alias_level level (list)
5.2.1.1 #pragma alias (type, type [, type]...)
5.2.1.2 #pragma alias (pointer, pointer [, pointer] ...)
5.2.1.3 #pragma may_point_to (pointer, variable [, variable] ...)
5.2.1.4 #pragma noalias (type, type [, type]...)
5.2.1.5 #pragma noalias (pointer, pointer [, pointer] ...)
5.2.1.6 #pragma may_not_point_to (pointer, variable [, variable] ...)
5.3.2 構造体ポインタへの void ポインタのキャスト
この章では、xalias_level オプションといくつかのプラグマを使用して、型に基づく別名解析および最適化を実行する方法について説明します。これらの拡張機能を使用すると、ユーザーの C 言語プログラムでのポインタの使用方法について、型に基づく情報を示すことができます。C コンパイラはそれらの情報を利用し、ユーザーのプログラムにおけるポインタベースのメモリー参照の別名明確化について、非常に効率性の高いジョブを実行します。
このコマンドの構文の詳細については、「B.2.72 -xalias_level[= l]」を参照してください。また、lint プログラムの型に基づく別名解析機能については、「4.3.38 -Xalias_level[=l ]」 を参照してください。