diff --git a/test/AdaFrontend/fat_fields.adb b/test/AdaFrontend/fat_fields.adb
new file mode 100644
index 00000000000..906e34ee0be
--- /dev/null
+++ b/test/AdaFrontend/fat_fields.adb
@@ -0,0 +1,10 @@
+-- RUN: %llvmgcc -c %s -o /dev/null
+-- RUN: %llvmgcc -c %s -O2 -o /dev/null
+package body Fat_Fields is
+   procedure Proc is
+   begin
+      if P = null then
+         null;
+      end if;
+   end;
+end;
diff --git a/test/AdaFrontend/fat_fields.ads b/test/AdaFrontend/fat_fields.ads
new file mode 100644
index 00000000000..d3eab3e2866
--- /dev/null
+++ b/test/AdaFrontend/fat_fields.ads
@@ -0,0 +1,6 @@
+package Fat_Fields is
+   pragma Elaborate_Body;
+   type A is array (Positive range <>) of Boolean;
+   type A_Ptr is access A;
+   P : A_Ptr := null;
+end;