blob: 82973147e3a3f136da13d3d6580695a45e8535ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
-- { 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;
|
