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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do compile }

package Atomic1 is

  type Arr is array (Integer range <>) of Boolean;
  type UA is access all Arr;

  U : UA;
  pragma Atomic (U);  -- { dg-error "atomic access" "" { xfail mips*-*-* } }

  type R is record
    U : UA;
    pragma Atomic (U);  -- { dg-error "atomic access" "" { xfail mips*-*-* } }
  end record;

end Atomic1;