gcc/testsuite/gnat.dg/self_aggregate_with_array.adb

   1 -- { dg-do run }
   2
   3 procedure self_aggregate_with_array is
   4
   5    type Value_Bounds is array (1 .. 2) of Natural;
   6
   7    type Sensor is record
   8       Value  : Natural;
   9       Bounds : Value_Bounds;
  10    end record;
  11
  12    Pressure : Sensor;
  13
  14 begin
  15    Pressure.Value := 256;
  16    Pressure := (Value => Pressure.Value, Bounds => (1, 2));
  17
  18    if Pressure.Value /= 256 then
  19       raise Program_Error;
  20    end if;
  21 end;