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.
Wording Changes from Ada 2005
This subclause is new. Pragma Unchecked_Union was
moved here from B.3.3; aspect Unchecked_Union
lives there now.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe