Next: , Previous: Pragma No_Return, Up: Implementation Defined Pragmas


Pragma No_Strict_Aliasing

Syntax:

     pragma No_Strict_Aliasing [([Entity =>] type_LOCAL_NAME)];

type_LOCAL_NAME must refer to an access type declaration in the current declarative part. The effect is to inhibit strict aliasing optimization for the given type. The form with no arguments is a configuration pragma which applies to all access types declared in units to which the pragma applies. For a detailed description of the strict aliasing optimization, and the situations in which it must be suppressed, see Optimization and Strict Aliasing.