5.1 介绍基于类型的分析

可以使用 -xalias_level 选项指定七个别名级别之一。每个级别指定一组关于您在 C 程序中使用指针的方法的属性。

当您使用 -xalias_level 选项的较高级别进行编译时，编译器会对您的代码中的指针进行更广泛的假定。当编译器产生较少假定时，您有更大的编程自由。但是，这些狭窄假定产生的优化可能不会导致运行环境性能的显著提高。如果您依照 -xalias_level 选项的更高级别的编译器假定进行编码，则更有可能使产生的优化提高运行环境性能。

-xalias_level 选项指定应用于每个转换单元的别名级别。在越详细越有益的情况下，您可以使用新的 pragma 覆盖已生效的别名级别，以便可以明确指定转换单元中个体类型或指针变量之间的别名关系。如果转换单元中指针的使用对应于某个可用别名级别，但是一些特定指针变量的使用方法是某个可用级别不允许的不规则方法，这些 pragma 非常有用。