gcc/testsuite/gnat.dg/bip_exception.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3
   4 package body BIP_Exception is
   5    package body Constructors is
   6       function Initialize return T_C4_Scheduler is
   7       begin
   8          return T_C4_Scheduler'(T_Super with null record);
   9       end Initialize;
  10    end Constructors;
  11
  12    overriding procedure V_Run (This : in T_C4_Scheduler) is
  13       pragma Unreferenced (This);
  14    begin
  15       null;
  16    end V_Run;
  17 end BIP_Exception;