Subversion Repositories openrisc

-- { dg-do run }

procedure Outer_Agg_Bitfield_Constructor is

    type Mod_64 is mod 2 ** 64;

    for Mod_64'Size use 64;

    type Uint_16 is range 0 .. 2 ** 16 - 1;

    for Uint_16'Size use 16;

    type Values_Type is record

       M64 : Mod_64;

       U16 : Uint_16;

    end record;

    for Values_Type use record

       M64 at 0 range 0 .. 63;

       U16 at 8 range 0 .. 15;

    end record;

    type Wrapper_Type is record

       Values : Values_Type;

    end record;

    for Wrapper_Type use record

       Values at 0 range 0 .. 79;

    end record;

    M : constant := 2;

    U : constant := 4;

    W : Wrapper_Type := (Values => (M, U));

    procedure Check (O : Wrapper_Type) is

    begin

       if O.Values.M64 /= M or else O.Values.U16 /= U then

          raise Program_Error;

       end if;

    end;

begin

   Check (W);

end;