JavaScript is required to for searching.
跳过导航链接
退出打印视图
Oracle Solaris Studio 12.3:C 用户指南     Oracle Solaris Studio 12.3 Information Library (简体中文)
search filter icon
search icon

文档信息

前言

1.  C 编译器介绍

2.  特定于 C 编译器实现的信息

3.  并行化 C 代码

4.  lint 源代码检验器

5.  基于类型的别名分析

5.1 介绍基于类型的分析

5.2 使用 Pragma 以便更好地控制

5.2.1 #pragma alias_level level (list)

5.2.1.1 #pragma alias (type, type [, type]...)

5.2.1.2 #pragma alias (pointer, pointer [, pointer] ...)

5.2.1.3 #pragma may_point_to (pointer, variable [, variable] ...)

5.2.1.4 #pragma noalias (type, type [, type]...)

5.2.1.5 #pragma noalias (pointer, pointer [, pointer] ...)

5.2.1.6 #pragma may_not_point_to (pointer, variable [, variable] ...)

5.2.1.7 #pragma ivdep

5.3 使用 lint 检查

5.3.1 标量指针向结构指针的强制类型转换

5.3.2 空指针向结构指针的强制类型转换

5.3.3 结构字段向结构指针的强制类型转换

5.3.4 要求显式别名

5.4 内存引用约束的示例

5.4.1 示例:别名级别

5.4.2 示例:使用不同的别名级别编译

5.4.3 示例:内部指针

5.4.4 示例:结构字段

5.4.5 示例:联合

5.4.6 示例:结构的结构

5.4.7 示例:使用 Pragma

6.  转换为 ISO C

7.  转换应用程序以适用于 64 位环境

8.  cscope:交互检查 C 程序

A.  按功能分组的编译器选项

B.  C 编译器选项参考

C.  实现定义的 ISO/IEC C99 行为

D.  C99 的功能

E.  实现定义的 ISO/IEC C90 行为

F.  ISO C 数据表示法

G.  性能调节

H.  Oracle Solaris Studio C:K&R C 与 ISO C 之间的差异

索引

第 5 章

基于类型的别名分析

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

有关此命令语法的详细说明,请参见B.2.76 -xalias_level[= l]。此外,有关 lint 程序的基于类型的别名分析功能的说明,请参见4.3.38 -Xalias_level[=l ]