1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/array-types/subprogram-dynamic-type.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/array-types/subprogram-dynamic-type.vhdl
new file mode 100644
index 000000000..a2f537174
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/array-types/subprogram-dynamic-type.vhdl
@@ -0,0 +1,20 @@
+entity test is
+end test;
+
+architecture only of test is
+  procedure proc (
+    constant a : in bit_vector;
+    constant l : in integer ) is
+    type dyn is range a'left downto 0;
+  begin
+    assert dyn'left = l report "TEST FAILED" severity FAILURE;
+  end proc;
+begin  -- only
+  doit: process
+  begin  -- process doit
+    proc( "0000", 3 );
+    proc( "00000", 4 );
+    report "TEST PASSED";
+    wait;
+  end process doit;
+end only;