gcc/testsuite/gnat.dg/warn22.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3
   4 with Ada.Text_IO;
   5
   6 procedure Warn22
   7 is
   8    type X is
   9       record
  10          Str : String (1 .. 3);
  11       end record;
  12
  13    type T is
  14       record
  15          Value : X;
  16       end record;
  17
  18    procedure Consume_Data (Item : out T) is
  19    begin
  20       Item := (Value => (Str => "Bar"));
  21    end Consume_Data;
  22
  23    Baz : T;
  24 begin
  25
  26    Baz := (Value => (Str => "Foo"));
  27
  28    Ada.Text_IO.Put_Line (Baz.Value.Str);
  29
  30    Consume_Data (Baz);
  31
  32    Ada.Text_IO.Put_Line (Baz.Value.Str);
  33
  34 end Warn22;