1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/unchecked_convert4.adb b/gcc/testsuite/gnat.dg/unchecked_convert4.adb
new file mode 100644
index 00000000000..8f3a1aa4efe
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/unchecked_convert4.adb
@@ -0,0 +1,24 @@
+-- { dg-do compile }
+
+with Unchecked_Conversion;
+
+procedure Unchecked_Convert4 is
+
+  type Uint32 is mod 2**32;
+
+  type Rec is record
+    I : Uint32;
+  end record;
+  for Rec'Size use 32;
+  pragma Atomic (Rec);
+
+  function Conv is new Unchecked_Conversion (Uint32, Rec);
+
+  function F return Uint32;
+  pragma Import (Ada, F);
+
+  procedure Proc (R : Rec) is begin null; end;
+
+begin
+  Proc (Conv (F or 1));
+end;