--  { 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;