gcc-4.9/gcc/testsuite/gnat.dg/atomic2.adb


1
2
3
4
5
6
7
8
9
10
11

-- { dg-do compile }

procedure Atomic2 is

  type Big is array (1..4) of Integer;
  type Arr is array (1..10) of Big;
  pragma Atomic_Components (Arr); -- { dg-warning "cannot be guaranteed" }

begin
  null;
end;