JavaScript is required to for searching.
Skip Navigation Links
Exit Print View
Oracle Solaris Studio 12.2: C User's Guide
search filter icon
search icon

Document Information


1.  Introduction to the C Compiler

2.  C-Compiler Implementation-Specific Information

3.  Parallelizing C Code

4.  lint Source Code Checker

5.  Type-Based Alias Analysis

5.1 Introduction to Type-Based Analysis

5.2 Using Pragmas for Finer Control

5.2.1 #pragma alias_level level (list) #pragma alias (type, type [, type]...) #pragma alias (pointer, pointer [, pointer]...) #pragma may_point_to (pointer, variable [, variable]...) #pragma noalias (type, type [, type]...) #pragma noalias (pointer, pointer [, pointer]...) #pragma may_not_point_to (pointer, variable [, variable]...)

5.3 Checking With lint

5.3.1 Struct Pointer Cast of Scalar Pointer

5.3.2 Struct Pointer Cast of Void Pointer

5.3.3 Cast of Struct Field to Structure Pointer

5.3.4 Explicit Aliasing Required

5.4 Examples of Memory Reference Constraints

5.4.1 First Example

5.4.2 Second Example

5.4.3 Third Example

5.4.4 Fourth Example

5.4.5 Fifth Example

5.4.6 Sixth Example

5.4.7 Seventh Example

6.  Transitioning to ISO C

7.  Converting Applications for a 64-Bit Environment

8.  cscope: Interactively Examining a C Program

A.  Compiler Options Grouped by Functionality

B.  C Compiler Options Reference

C.  Implementation-Defined ISO/IEC C99 Behavior

D.  Supported Features of C99

E.  Implementation-Defined ISO/IEC C90 Behavior

F.  ISO C Data Representations

G.  Performance Tuning

H.  The Differences Between K&R Solaris Studio C and Solaris Studio ISO C


Chapter 5

Type-Based Alias Analysis

This document explains how to use the -xalias_level option and several pragmas to enable the compiler to perform type-based alias analysis and optimizations. You use these extensions to express type-based information about the way pointers are used in your C program. The C compiler uses this information, in turn, to do a significantly better job of alias disambiguation for pointer-based memory references in your program.

See B.2.72 -xalias_level[=l] for a detailed explanation of this command’s syntax. Also, see 4.3.38 -Xalias_level[=l] for an explanation of the lint program’s type-based alias-analysis capabilities.