gcc/testsuite/gnat.dg/volatile1.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package volatile1 is

   type Command is (Nothing, Get);

   type Data is
      record
         Time : Duration;
      end record;

   type Data_Array is array (Integer range <>) of Data;

   type Command_Data (Kind : Command; Length : Integer) is
      record
         case Kind is
            when Nothing =>
               null;
            when Get =>
               Data : Data_Array (1 .. Length);
         end case;
      end record;

end;