gcc/testsuite/gnat.dg/opt78.adb


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

-- { dg-do compile }
-- { dg-options "-O" }

package body Opt78 is

   procedure Proc (P : UC; Msg : String) is
      Default : UC := (1, "!");
   begin
      if P = Default then
         raise Program_Error;
      else
         raise Constraint_Error;
      end if;
   end;

end Opt78;