diff --git a/test/FrontendAda/unc_constructor.adb b/test/FrontendAda/unc_constructor.adb
new file mode 100644
index 00000000000..e32c04a2e01
--- /dev/null
+++ b/test/FrontendAda/unc_constructor.adb
@@ -0,0 +1,9 @@
+-- RUN: %llvmgcc -c %s -o /dev/null
+package body Unc_Constructor is
+   procedure P (X : A) is
+   begin
+      if X = A0 then
+         null;
+      end if;
+   end;
+end;
diff --git a/test/FrontendAda/unc_constructor.ads b/test/FrontendAda/unc_constructor.ads
new file mode 100644
index 00000000000..d6f8db50d89
--- /dev/null
+++ b/test/FrontendAda/unc_constructor.ads
@@ -0,0 +1,8 @@
+package Unc_Constructor is
+   type C is null record;
+   type A is array (Positive range <>) of C;
+   A0 : constant A;
+   procedure P (X : A);
+private
+   A0 : aliased constant A := (1 .. 0 => (null record));
+end;