summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/pack9.adb
blob: 7e74050d35fd85251c306c6621b9d8a0106cdf72 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
-- { dg-do compile }
-- { dg-options "-O2 -gnatp -fdump-tree-optimized" }
-- See PR tree-optimization/46801 for the expected failure

package body Pack9 is

  procedure Copy (X, Y : R2_Ptr) is
    T : R2 := Y.all;
  begin
    if T.I2 /= Y.I2 then
      raise Program_Error;
    end if;
    X.all := T;
  end;

end Pack9;

-- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }
-- { dg-final { cleanup-tree-dump "optimized" } }