Subversion Repositories openrisc

-- { dg-do run }
 
procedure Slice3 is
 
   type Varray is array (1 .. 1) of Natural;  -- SImode
 
   type Sample is record
      Maybe  : Boolean;
      Values : Varray;
   end record;
   pragma Pack (Sample);
 
   function Match (X, Y: Sample; Length : Positive) return Boolean is
   begin
      return X.Values (1 .. Length) = Y.Values (1 .. Length);
   end;
 
   X, Y : Sample := (Maybe => True, Values => (1 => 1));
begin
   X.Maybe := False;
   if not Match (X, Y, 1) then
      raise Program_Error;
   end if;
end;