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