gcc-4.9/gcc/testsuite/gnat.dg/opt22_pkg.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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;