Subversion Repositories openrisc_2011-10-31

--  { dg-do compile }

--  { dg-do compile }

pragma Restrictions (No_Allocators);

pragma Restrictions (No_Allocators);

procedure Test_BIP_No_Alloc is

procedure Test_BIP_No_Alloc is

   type LR (B : Boolean) is limited record

   type LR (B : Boolean) is limited record

      X : Integer;

      X : Integer;

   end record;

   end record;

   function FLR return LR is

   function FLR return LR is

   begin

   begin

      --  A return statement in a function with a limited and unconstrained

      --  A return statement in a function with a limited and unconstrained

      --  result subtype can result in expansion of an allocator for the

      --  result subtype can result in expansion of an allocator for the

      --  secondary stack, but that should not result in a violation of the

      --  secondary stack, but that should not result in a violation of the

      --  restriction No_Allocators.

      --  restriction No_Allocators.

      return (B => False, X => 123);

      return (B => False, X => 123);

   end FLR;

   end FLR;

   Obj : LR := FLR;

   Obj : LR := FLR;

begin

begin

   null;

   null;

end Test_BIP_No_Alloc;

end Test_BIP_No_Alloc;