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