gcc/testsuite/gnat.dg/constant2_pkg2.adb

   1 package body Constant2_Pkg2 is
   2
   3   function F1 return Boolean is
   4   begin
   5     return False;
   6   end;
   7
   8   function F2 return Boolean is
   9   begin
  10     return False;
  11   end;
  12
  13 end Constant2_Pkg2;