blob: a1445cebdcb386f8e4b2e3eac9be8953d781c2bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
-- { dg-do compile }
procedure Entry_Queues2 is
F1 : Integer := 17;
generic
type T is limited private;
procedure Check;
procedure Check is
begin
declare
type Poe is new T;
begin
declare
type Arr is array (1 .. 2) of Poe;
X : Arr;
pragma Unreferenced (X);
begin
null;
end;
end;
end;
begin
declare
protected type Poe (D3 : Integer := F1) is
entry E (D3 .. F1); -- F1 evaluated
end Poe;
protected body Poe is
entry E (for I in D3 .. F1) when True is
begin
null;
end E;
end Poe;
procedure Chk is new Check (Poe);
begin
Chk;
end;
end;
|
