1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/pointer_variable_bounds.adb b/gcc/testsuite/gnat.dg/pointer_variable_bounds.adb
new file mode 100644
index 000000000..5cc838a38
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/pointer_variable_bounds.adb
@@ -0,0 +1,26 @@
+-- { dg-do compile }
+-- { dg-options "-gnatws" }
+
+package body pointer_variable_bounds is
+
+  function COMPONENT_DAT(BP : in BUNDLE_POINTER_TYPE; CP : in COMP_POINTER_TYPE) return HALF_INTEGER is
+    type CP_TYPE is access COMP_POINTER_TYPE;
+    type CD_TYPE is access HALF_INTEGER;
+    CD : CD_TYPE;
+  begin
+    return CD.all;
+  end;
+
+  procedure BUNDLE_DAT(BP : in BUNDLE_POINTER_TYPE) is
+    N0 : C_POINTER_TYPE := COMPONENT_DAT(BP, 4);
+  begin
+    null;
+  end;
+
+  procedure SEQUENCE_DAT(BP : in BUNDLE_POINTER_TYPE) is
+    N0 : C_POINTER_TYPE := COMPONENT_DAT(BP, 4);
+  begin
+    null;
+  end;
+
+end pointer_variable_bounds;