blob: b15a9df030e6053a4cd4640c89e3eded3a667422 (
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" }
pragma Optimize_Alignment (Space);
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" } }
|
