gcc/testsuite/gnat.dg/validity_check2_pkg.ads

   1 with Ada.unchecked_conversion;
   2
   3 package Validity_Check2_Pkg is
   4
   5   type Op_Code is (One, Two, Three, Four);
   6
   7   subtype Valid_Msg is Integer range 0 .. 15;
   8
   9   function Op_Code_To_Msg is
  10     new Ada.Unchecked_Conversion (Source => Op_code, Target => Valid_Msg);
  11
  12   type Rec is record
  13     Code : Op_Code;
  14   end record;
  15
  16 end Validity_Check2_Pkg;