21 lines
539 B
Ada
21 lines
539 B
Ada
|
-- { dg-do compile }
|
||
|
|
-- { dg-options "-O -gnatws" }
|
||
|
|
|
||
|
|
with Unchecked_Conversion;
|
||
|
|
|
||
|
|
package body Opt81 is
|
||
|
|
|
||
|
|
procedure Copy (From, To : Rec) is
|
||
|
|
Len : constant Natural := From.A.all'Length;
|
||
|
|
subtype Fixed_String is String (1 .. Len);
|
||
|
|
type Fixed_String_Access is access Fixed_String;
|
||
|
|
function To_Fixed is new
|
||
|
|
Unchecked_Conversion (Source => String_Access,
|
||
|
|
Target => Fixed_String_Access);
|
||
|
|
S : Fixed_String_Access := To_Fixed (To.A);
|
||
|
|
begin
|
||
|
|
S (1 .. Len) := From.A.all;
|
||
|
|
end;
|
||
|
|
|
||
|
|
end Opt81;
|