gcc/testsuite/gnat.dg/specs/unchecked_union.ads

   1 -- PR ada/28591
   2 -- Reported by Martin Michlmayr <tbm@cyrius.com>
   3
   4 -- { dg-do compile }
   5 -- { dg-options "-g" }
   6
   7 with Interfaces; use Interfaces;
   8
   9 package Unchecked_Union is
  10    type Mode_Type is (Mode_B2);
  11
  12    type Value_Union (Mode : Mode_Type := Mode_B2) is record
  13       case Mode is
  14          when Mode_B2 =>
  15             B2 : Integer_32;
  16       end case;
  17    end record;
  18    pragma Unchecked_Union (Value_Union);
  19
  20 end Unchecked_Union;