gcc/testsuite/gnat.dg/debug5.adb

   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;