基于类型的别名分析

本章介绍如何使用 -xalias_level 选项和多个 pragma 让编译器执行基于类型的别名分析和优化。您可以使用这些扩展功能表示关于 C 程序中使用指针方法的基于类型的信息。C 编译器又可以使用此信息对程序中基于指针的内存引用进行别名歧义消除。

有关此命令语法的详细说明，请参见-xalias_level[=l]。另请参见-Xalias_level[=l]，以查看有关 lint program 的基于类型的别名分析功能的说明。

• 介绍基于类型的分析

• 使用 Pragma 以便更好地控制

• 使用 lint 进行检查

• 内存引用约束的示例