gcc/testsuite/gnat.dg/atomic6_pkg.ads

   1 package Atomic6_Pkg is
   2
   3   type Int is new Integer;
   4   pragma Atomic (Int);
   5
   6   Counter1 : Int;
   7   Counter2 : Int;
   8
   9   Timer1 : Integer;
  10   pragma Atomic (Timer1);
  11
  12   Timer2 : Integer;
  13   pragma Atomic (Timer2);
  14
  15   type Arr1 is array (1..8) of Int;
  16   Counter : Arr1;
  17
  18   type Arr2 is array (1..8) of Integer;
  19   pragma Atomic_Components (Arr2);
  20   Timer : Arr2;
  21
  22   type R is record
  23     Counter1 : Int;
  24     Timer1 : Integer;
  25     pragma Atomic (Timer1);
  26     Counter2 : Int;
  27     Timer2 : Integer;
  28     pragma Atomic (Timer2);
  29     Dummy : Integer;
  30   end record;
  31
  32   type Int_Ptr is access all Int;
  33
  34 end Atomic6_Pkg;