J.15.6 Pragma Unchecked_Union
Syntax
{
AI05-0229-1}
The form of a pragma
Unchecked_Union, which is a representation pragma (see 13.1),
is as follows:
pragma
Unchecked_Union (first_subtype_local_name);
Legality Rules
Static Semantics
{
AI05-0229-1}
A pragma
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
{
AI05-0229-1}
{
AI05-0299-1}
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