summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/atomic2.adb
blob: c14d21e13ee591bdbf88d938b39c1b6628f62632 (plain)
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;