1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/testint.adb b/gcc/testsuite/gnat.dg/testint.adb
new file mode 100644
index 000000000..a5faf4a57
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/testint.adb
@@ -0,0 +1,13 @@
+--  { dg-do run }
+--  { dg-options "-gnato" }
+
+with Text_IO; use Text_IO;
+procedure testint is
+   function m1 (a, b : short_integer) return integer is
+   begin                          
+      return integer (a + b);
+   end m1;
+   f : integer;
+begin   
+   f := m1 (short_integer'Last, short_integer'Last);
+end testint;