Subversion Repositories openrisc

--  { dg-do compile }
 
pragma Restrictions (No_Allocators);
procedure Test_BIP_No_Alloc is
 
   type LR (B : Boolean) is limited record
      X : Integer;
   end record;
 
   function FLR return LR is
   begin
      --  A return statement in a function with a limited and unconstrained
      --  result subtype can result in expansion of an allocator for the
      --  secondary stack, but that should not result in a violation of the
      --  restriction No_Allocators.
 
      return (B => False, X => 123);
   end FLR;
 
   Obj : LR := FLR;
 
begin
   null;
end Test_BIP_No_Alloc;