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 section “Optimization and Strict Aliasing” in the GNAT User's Guide.