gcc/testsuite/gnat.dg/opt94_pkg.adb

   1 package body Opt94_Pkg is
   2
   3   function Worker (S : String) return Integer;
   4   pragma Pure_Function (Worker);
   5
   6   function Valid_Result (S : String) return Boolean is
   7   begin
   8     return Worker (S) > 0;
   9   end;
  10
  11   function Result (S : String) return Integer is
  12     R : constant Integer := Worker (S);
  13   begin
  14     if R > 0 then
  15       return R;
  16     else
  17       raise Program_Error;
  18     end if;
  19   end;
  20
  21   function Worker (S : String) return Integer is
  22   begin
  23     return Character'Pos (S (S'First));
  24   end;
  25
  26   function Get return String is
  27   begin
  28     return "";
  29   end;
  30
  31 end Opt94_Pkg;