gcc/testsuite/gnat.dg/debug14.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-g -fgnat-encodings=minimal" }
   3
   4 procedure Debug14 is
   5
   6   type Db_Kind_T is (Raw, Relational, Object);
   7
   8   type Db_Model_T (Kind : Db_Kind_T) is
   9     record
  10
  11       case Kind is
  12
  13         when Raw =>
  14           Fs_Type : Integer;
  15
  16         when Relational | Object =>
  17           Vendor_Id : Integer;
  18
  19           case Kind is
  20             when Relational =>
  21               N_Tables : Integer;
  22
  23             when others =>
  24               null;
  25           end case;
  26
  27       end case;
  28
  29     end record;
  30
  31   type Raw_Db_T is new Db_Model_T (Kind => Raw);
  32   type Raw_Db_P is access Raw_Db_T;
  33
  34   Db : Raw_Db_P := new Raw_Db_T;
  35
  36 begin
  37   null;
  38 end;