gcc/testsuite/gnat.dg/testint.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnato" }
   3
   4 with Text_IO; use Text_IO;
   5 procedure 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;
  11 begin
  12    f := m1 (short_integer'Last, short_integer'Last);
  13 end testint;