annotate gcc/testsuite/gnat.dg/debug5.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 "-g" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 procedure Debug5 is
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 type Record_Type (L1, L2 : Natural) is record
kono
parents:
diff changeset
7 S1 : String (1 .. L1);
kono
parents:
diff changeset
8 case L2 is
kono
parents:
diff changeset
9 when 0 => null;
kono
parents:
diff changeset
10 when others => S2 : String (L1 .. L2);
kono
parents:
diff changeset
11 end case;
kono
parents:
diff changeset
12 end record;
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 procedure Discard (R : Record_Type) is
kono
parents:
diff changeset
15 begin
kono
parents:
diff changeset
16 null;
kono
parents:
diff changeset
17 end Discard;
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 R : constant Record_Type := (0, 0, others => <>);
kono
parents:
diff changeset
20 begin
kono
parents:
diff changeset
21 Discard (R);
kono
parents:
diff changeset
22 end Debug5;