gcc/testsuite/gnat.dg/atomic5.ads

   1 -- { dg-do compile }
   2
   3 with Unchecked_Conversion;
   4
   5 package Atomic5 is
   6
   7   type Byte is mod 2 ** 8;
   8   for Byte'Size use 8;
   9
  10   type Unsigned_32 is mod 2 ** 32;
  11   for Unsigned_32'Size use 32;
  12
  13   type R is record
  14     A,B,C,D : Byte;
  15   end record;
  16   for R'Alignment use 4;
  17   pragma Atomic (R);
  18
  19   function Conv is new Unchecked_Conversion (R, Unsigned_32);
  20
  21   procedure Proc1;
  22
  23   procedure Proc2;
  24
  25 end Atomic5;