summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/testint.adb
blob: a5faf4a57ffd2bf9a0b7b6d4de250cd1a904d03d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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;