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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

-- PR ada/28591
-- Reported by Martin Michlmayr <tbm@cyrius.com>

-- { dg-do compile }
-- { dg-options "-g" }

with Interfaces; use Interfaces;

package Unchecked_Union is
   type Mode_Type is (Mode_B2);

   type Value_Union (Mode : Mode_Type := Mode_B2) is record
      case Mode is
         when Mode_B2 =>
            B2 : Integer_32;
      end case;
   end record;
   pragma Unchecked_Union (Value_Union);

end Unchecked_Union;