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 the section on Optimization and Strict Aliasing
in the GNAT User’s Guide.
This pragma currently has no effects on access to unconstrained array types.