1--  { dg-do run }
2--  { dg-options "-gnato" }
3
4with Text_IO; use Text_IO;
5procedure testint is
6   function m1 (a, b : short_integer) return integer is
7   begin
8      return integer (a + b);
9   end m1;
10   f : integer;
11begin
12   f := m1 (short_integer'Last, short_integer'Last);
13end testint;
14