summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/test_bip_no_alloc.adb
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;