blob: bd3eb7158e53573773046a692a8d2c745b394814 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
-- { dg-do run }
procedure Aligned_Vla is
type Table is array (Integer range <>) of Integer;
for Table'Alignment use Long_Float'Alignment;
K : constant := 1;
Konstants : Table (1 .. 4) := (others => K);
procedure Check_Copy (Len : Integer) is
My_Konstants : Table (1 .. Len) := Konstants (1 .. 1 + Len - 1);
begin
for I in My_Konstants'Range loop
if My_Konstants (I) /= K then
raise Program_Error;
end if;
end loop;
end;
begin
Check_Copy (Len => 4);
end;
|
