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