J.15.6 Pragma Unchecked_Union
The form of a pragma
Unchecked_Union, which is a representation pragma (see 13.1
is as follows:
Unchecked_Union specifies that the Unchecked_Union aspect (see B.3.3
for the type denoted by first_subtype_local_name
has the value True.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe