gcc/testsuite/gnat.dg/opt78.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Opt78 is
   5
   6    procedure Proc (P : UC; Msg : String) is
   7       Default : UC := (1, "!");
   8    begin
   9       if P = Default then
  10          raise Program_Error;
  11       else
  12          raise Constraint_Error;
  13       end if;
  14    end;
  15
  16 end Opt78;