1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/atomic2.adb b/gcc/testsuite/gnat.dg/atomic2.adb
new file mode 100644
index 000000000..c14d21e13
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/atomic2.adb
@@ -0,0 +1,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;