gcc/testsuite/gnat.dg/opt64_pkg.adb

   1 package body Opt64_PKG is
   2
   3    procedure Encode (X : Integer) is
   4       result : Hash;
   5    begin
   6       case X is
   7          when 1 => result := "1";
   8          when 2 => result := "2";
   9          when 3 => result := "3";
  10          when others => Result := "?";
  11       end case;
  12       Last_Hash := Result;
  13    end;
  14 end;