Mercurial > hg > CbC > CbC_gcc
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 |
rev | line source |
---|---|
111 | 1 -- { dg-do compile } |
2 -- { dg-options "-g" } | |
3 | |
4 procedure Debug5 is | |
5 | |
6 type Record_Type (L1, L2 : Natural) is record | |
7 S1 : String (1 .. L1); | |
8 case L2 is | |
9 when 0 => null; | |
10 when others => S2 : String (L1 .. L2); | |
11 end case; | |
12 end record; | |
13 | |
14 procedure Discard (R : Record_Type) is | |
15 begin | |
16 null; | |
17 end Discard; | |
18 | |
19 R : constant Record_Type := (0, 0, others => <>); | |
20 begin | |
21 Discard (R); | |
22 end Debug5; |