考虑以下源代码示例。当使用不同的别名级别编译时，它说明显示的类型的别名关系。
struct foo {
int f1;
int f2;
int f3;
} *fp;
struct bar {
int b1;
int b2;
int b3;
} *bp;如果该示例是使用 -xalias_level=any 选项编译的，编译器将假定以下别名信息：
*fp、*bp、fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 都可以互为别名，因为任何两个内存访问在 -xalias_level=any 级别上可互为别名。
如果该示例是使用 -xalias_level=basic 选项编译的，编译器将假定以下别名信息：
*fp、*bp、fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 都可以互为别名。在本示例中，由于所有结构字段均为同一基本类型，因此任何两个使用指针 *fp 和 *bp 的字段访问都可以互为别名。
如果该示例是使用 -xalias_level=weak 选项编译的，编译器将假定以下别名信息：
*fp 和 *fp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是，-xalias_level=weak 强加以下限制：
fp->f1 不将 bp->b2 或 bp->b3 作为别名，因为 f1 的偏移为零，这不同于 b2 的偏移（四字节）和 b3 的偏移（八字节）。
fp->f2 不将 bp->b1 或 bp->b3 作为别名，因为 f2 的偏移为四字节，这不同于 b1 的偏移（零字节）和 b3 的偏移（八字节）。
fp->f3 不将 bp->b1 或 bp->b2 作为别名，因为 f3 的偏移为八字节，这不同于 b1 的偏移（零字节）和 b2 的偏移（四字节）。
如果该示例是使用 -xalias_level=layout 选项编译的，编译器将假定以下别名信息：
*fp 和 *bp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是，-xalias_level=layout 强加以下限制：
fp->f1 不将 bp->b2 或 bp->b3 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f1 对应于字段 b1。
fp->f2 不将 bp->b1 或 bp->b3 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f2 对应于字段 b2。
fp->f3 不将 bp->b1 或 bp->b2 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f3 对应于字段 b3。
如果该示例是使用 -xalias_level=strict 选项编译的，编译器将假定以下别名信息：
*fp 和 *bp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是，-xalias_level=strict 强加以下限制：
fp->f1 不将 bp->b2 或 bp->b3 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f1 对应于字段 b1。
fp->f2 不将 bp->b1 或 bp->b3 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f2 对应于字段 b2。
fp->f3 不将 bp->b1 或 bp->b2 作为别名，因为在 foo 和 bar 公共初始序列中，字段 f3 对应于字段 b3。
如果该示例是使用 -xalias_level=std 选项编译的，编译器将假定以下别名信息：
fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 不互为别名。
如果该示例是使用 -xalias_level=strong 选项编译的，编译器将假定以下别名信息：
fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 不互为别名。