1-- { dg-do compile }
2-- { dg-options "-g" }
3
4procedure 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 => <>);
20begin
21   Discard (R);
22end Debug5;
23