19 lines
380 B
Ada
19 lines
380 B
Ada
-- { dg-do compile }
|
|
-- { dg-options "-O2 -gnatp -fdump-tree-optimized" }
|
|
|
|
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" } }
|