5.1 介绍基于类型的分析

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

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

-xalias_level 选项指定应用于每个转换单元的别名级别。在越详细越有益的情况下，您可以使用新的 pragma 覆盖已生效的别名级别，以便可以明确指定转换单元中个体类型或指针变量之间的别名关系。