blob: 82973147e3a3f136da13d3d6580695a45e8535ff [file] [log] [blame]
-- { 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
-- 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;
end Test_BIP_No_Alloc;