gcc/testsuite/gnat.dg/atomic2.adb

   1 -- { dg-do compile }
   2
   3 procedure 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
   9 begin
  10   null;
  11 end;