test

Oracle Solaris Studio 12.2: C ユーザーガイド

5.4.1 例 1

次のコードを考えてみましょう。さまざまなレベルの別名設定でコンパイルすることにより、それぞれの型の別名設定の関係性を理解できます。

struct foo {
    int f1;
    short f2;
    short f3;
    int f4;
} *fp;

struct bar {
    int b1;
    int b2;
    int b3;
} *bp;

int *ip;
short *sp;

この例が -xalias_level=any オプションでコンパイルされる場合、コンパイラは次の間接アクセスを相互の別名とみなします。

*ip、*sp、*fp、*bp、fp->f1、fp->f2、fp->f3、fp->f4、bp->b1、bp->b2、bp->b3

この例が -xalias_level=basic オプションでコンパイルされる場合、コンパイラは次の間接アクセスを相互の別名とみなします。

*ip、*bp、fp->f1、 fp->f4、bp->b1、bp->b2、 bp->b3

また、*sp、fp->f2、および fp->f3 は相互に別名設定でき、*sp および *fp も相互に別名設定できます。

しかし、-xalias_level=basic を指定した場合、コンパイラは次のように仮定します。

2 つの間接アクセスの基本型が異なるため、コンパイラはこれらの仮定を作成します。

この例が -xalias_level=weak オプションでコンパイルされる場合、コンパイラは、次の別名情報を仮定します。

コンパイラは、fp->fp1 が bp->b2 を別名設定しないと仮定します。これは、f1 が構造体に 0 のオフセットを保持するフィールドである一方で、b2 が構造体に 4 バイトのオフセットを保持するフィールドであるからです。同様に、コンパイラは、fp->f1 が bp->b3 を別名設定せず、fp->f4 が bp->b1 または bp->b2 を別名設定しないと仮定します。

この例が -xalias_level=layout オプションでコンパイルされる場合、コンパイラは、次の情報を仮定します。

fp->f4 は、bp->b3 を別名設定しません。これは、f4 と b3 が foo および bar の共通初期シーケンスで対応するフィールドではないからです。

この例が -xalias_level=strict オプションでコンパイルされる場合、コンパイラは、次の別名情報を仮定します。

-xalias_level=strict を指定すると、コンパイラは、*fp、*bp、fp->f1、fp->f2、fp->f3、fp->f4、bp->b1、bp->b2、および bp->b3 が相互に別名設定しないと仮定します。これは、フィールド名が無視されるときに、foo および bar が同じではないからです。ただし、fp は fp->f1 を別名設定し、bp は bp->b1 を別名設定します。

この例が -xalias_level=std オプションでコンパイルされる場合、コンパイラは、次の別名情報を仮定します。

ただし、fp->f1 は、bp->b1、bp->b2、または bp->b3 を別名設定しません。これは、フィールド名が注視されるときに、foo および bar が同じではないからです。

この例が -xalias_level=strong オプションでコンパイルされる場合、コンパイラは、次の別名情報を仮定します。