gcc/testsuite/gnat.dg/validity_check2.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatVi -gnatws" }
   3
   4 with Validity_Check2_Pkg; use Validity_Check2_Pkg;
   5
   6 procedure Validity_Check2 (R : access Rec) is
   7 begin
   8   if Op_Code_To_Msg (R.Code) in Valid_Msg then
   9     raise Program_Error;
  10   end if;
  11 end;