gcc/testsuite/gnat.dg/opt29.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Opt29 is
   5
   6   procedure Proc (T : Rec) is
   7   begin
   8     if Derived2 (T.F2.all).Id = T.F1.Id then
   9       raise Program_Error;
  10     end if;
  11   end;
  12
  13 end Opt29;