J.15.6 Pragma Unchecked_Union
The form of a pragma
Unchecked_Union, which is a representation pragma (see 13.1
is as follows:
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