gcc/testsuite/gnat.dg/self_aggregate_with_zeros.adb

   1 -- { dg-do run }
   2
   3 procedure self_aggregate_with_zeros is
   4
   5    type Sensor is record
   6       Value  : Natural;
   7       A, B, C, D, E, F, G, H, I, J, K, L, M : Natural;
   8    end record;
   9
  10    Pressure : Sensor;
  11
  12 begin
  13    Pressure.Value := 256;
  14    Pressure := (Pressure.Value, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);
  15
  16    if Pressure.Value /= 256 then
  17       raise Program_Error;
  18    end if;
  19 end;