annotate gcc/testsuite/gnat.dg/opt19.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- { dg-do compile }
kono
parents:
diff changeset
2 -- { dg-options "-O" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 procedure Opt19 is
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 type Enum is (One, Two);
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 type Vector_T is array (Enum) of Integer;
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 Zero_Vector : constant Vector_T := (Enum => 0);
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 type T is record
kono
parents:
diff changeset
13 Vector : Vector_T;
kono
parents:
diff changeset
14 end record;
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 procedure Nested (Value : in out T; E : Enum; B : out Boolean) is
kono
parents:
diff changeset
17 I : Integer renames Value.Vector(E);
kono
parents:
diff changeset
18 begin
kono
parents:
diff changeset
19 B := I /= 0;
kono
parents:
diff changeset
20 end;
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 Obj : T := (Vector => Zero_Vector);
kono
parents:
diff changeset
23 B : Boolean;
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 begin
kono
parents:
diff changeset
26 Nested (Obj, One, B);
kono
parents:
diff changeset
27 end;