gcc/testsuite/gnat.dg/opt22_pkg.adb

package body Opt22_Pkg is

   procedure Fail is
   begin
      raise Constraint_Error;
   end;

   procedure Put (S : String) is
   begin
      if S /= "the message" then
         raise Program_Error;
      end if;
   end;

end Opt22_Pkg;