gcc/testsuite/gnat.dg/pack9.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -gnatp -fdump-tree-optimized" }
   3 -- See PR tree-optimization/46801 for the expected failure
   4
   5 package body Pack9 is
   6
   7   procedure Copy (X, Y : R2_Ptr) is
   8     T : R2 := Y.all;
   9   begin
  10     if T.I2 /= Y.I2 then
  11       raise Program_Error;
  12     end if;
  13     X.all := T;
  14   end;
  15
  16 end Pack9;
  17
  18 -- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }
  19 -- { dg-final { cleanup-tree-dump "optimized" } }