1-- { dg-do compile }
2
3package 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" "" { xfail mips*-*-* } }
10
11  type R is record
12    U : UA;
13    pragma Atomic (U);  -- { dg-error "atomic access" "" { xfail mips*-*-* } }
14  end record;
15
16end Atomic1;
17