gcc/testsuite/gnat.dg/specs/atomic1.ads

   1 -- { dg-do compile }
   2
   3 package Atomic1 is
   4
   5   type Arr is array (Integer range <>) of Boolean;
   6   type UA is access all Arr;
   7
   8   U : UA;
   9   pragma Atomic (U);  -- { dg-error "atomic access" }
  10
  11   type R is record
  12     U : UA;
  13     pragma Atomic (U);  -- { dg-error "atomic access" }
  14   end record;
  15
  16 end Atomic1;