gcc/testsuite/gnat.dg/volatile1.ads

   1 package volatile1 is
   2
   3    type Command is (Nothing, Get);
   4
   5    type Data is
   6       record
   7          Time : Duration;
   8       end record;
   9
  10    type Data_Array is array (Integer range <>) of Data;
  11
  12    type Command_Data (Kind : Command; Length : Integer) is
  13       record
  14          case Kind is
  15             when Nothing =>
  16                null;
  17             when Get =>
  18                Data : Data_Array (1 .. Length);
  19          end case;
  20       end record;
  21
  22 end;