1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/parameterlessfunc.adb b/gcc/testsuite/gnat.dg/parameterlessfunc.adb
new file mode 100644
index 000000000..d63bc9add
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/parameterlessfunc.adb
@@ -0,0 +1,17 @@
+--  { dg-do compile }
+
+procedure parameterlessfunc is
+  type Byte is mod 256;
+  type Byte_Array is array(Byte range <>) of Byte;
+  subtype Index is Byte range 0..7;
+  subtype Small_Array is Byte_Array(Index);
+  
+  function F return Byte_Array is
+  begin
+    return (0..255=>0);
+  end F;
+  
+  B5: Small_Array := F(Index);
+begin
+  null;
+end parameterlessfunc;