3 pragma Restrictions (No_Allocators);
4 procedure Test_BIP_No_Alloc is
6 type LR (B : Boolean) is limited record
10 function FLR return LR is
12 -- A return statement in a function with a limited and unconstrained
13 -- result subtype can result in expansion of an allocator for the
14 -- secondary stack, but that should not result in a violation of the
15 -- restriction No_Allocators.
17 return (B => False, X => 123);
24 end Test_BIP_No_Alloc;