gcc/testsuite/gnat.dg/discr6.adb

   1 -- { dg-do compile }\r
   2 -- { dg-options "-gnatdm -gnatws" }\r
   3 \r
   4 with Discr6_Pkg;\r
   5 \r
   6 procedure Discr6 is\r
   7 \r
   8   type T_Bit is range 0..1;\r
   9   type T_Entier_16 is range -2**15 .. 2**15-1;\r
  10 \r
  11   package My_Q is new Discr6_Pkg(T_Entier_16);\r
  12 \r
  13   type T_Valeur is (BIT, Entier_16);\r
  14 \r
  15   type R(D : T_Valeur) is record\r
  16     case D is\r
  17       when BIT => V_BIT : T_Bit;\r
  18       when Entier_16 => V_E16 : T_Entier_16;\r
  19     end case;\r
  20   end record;\r
  21   for R use record\r
  22     V_BIT at 0 range 0..7;\r
  23     V_E16 at 0 range 0..15;\r
  24     D     at 8 range 0..7;\r
  25   end record;\r
  26   for R'size use 128;\r
  27 \r
  28   A : R(Entier_16);\r
  29   I : Integer;\r
  30 \r
  31 begin\r
  32   I := My_Q.X(A.V_E16);\r
  33 end;\r