gcc/testsuite/gnat.dg/bip_exception_pkg.ads

   1 pragma Restrictions (No_Exception_Propagation);
   2
   3 package BIP_Exception_Pkg is
   4    type T_Process is abstract tagged limited private;
   5    type T_Process_Class_Access is access all T_Process'Class;
   6
   7    procedure V_Run (This : in T_Process) is abstract;
   8
   9 private
  10    type T_Process is abstract tagged limited null record;
  11 end BIP_Exception_Pkg;