2 -- { dg-options "-O2 -gnatp -fdump-tree-optimized" }
3 -- See PR tree-optimization/46801 for the expected failure
7 procedure Copy (X, Y : R2_Ptr) is
18 -- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }
19 -- { dg-final { cleanup-tree-dump "optimized" } }