1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/address_conversion.adb b/gcc/testsuite/gnat.dg/address_conversion.adb
new file mode 100644
index 000000000..5813638c4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/address_conversion.adb
@@ -0,0 +1,24 @@
+-- { dg-do run }
+-- { dg-options "-O2" }
+
+with System.Address_To_Access_Conversions;
+
+procedure address_conversion is
+
+   type Integer_type1 is new Integer;
+   type Integer_type2 is new Integer;
+
+   package AA is new System.Address_To_Access_Conversions (Integer_type1);
+
+   K1 : Integer_type1;
+   K2 : Integer_type2;
+
+begin
+   K1 := 1;
+   K2 := 2;
+
+   AA.To_Pointer(K2'Address).all := K1;
+   if K2 /= 1 then
+      raise Program_Error;
+   end if;
+end;