1-- { dg-do compile }
2
3procedure Atomic2 is
4
5  type Big is array (1..4) of Integer;
6  type Arr is array (1..10) of Big;
7  pragma Atomic_Components (Arr); -- { dg-warning "cannot be guaranteed" }
8
9begin
10  null;
11end;
12