unchecked_union.ads

来自「用于进行gcc测试」· ADS 代码 · 共 21 行

-- PR ada/28591
-- Reported by Martin Michlmayr <[e-mail]>

-- { 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;