Pragma Universal_Aliasing (GNAT Reference Manual)

### 2.196 Pragma Universal_Aliasing ¶

Syntax:

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

`type_LOCAL_NAME` must refer to a type declaration in the current declarative part. The effect is to inhibit strict type-based aliasing optimizations for the given type. For a detailed description of the strict type-based aliasing optimizations and the situations in which they need to be suppressed, see the section on `Optimization and Strict Aliasing` in the GNAT User’s Guide.