liblal_refactor_25.0.0_15241508/testsuite/tests/safe_rename/UB24-032/main.adb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
with Ada.Finalization; use Ada.Finalization;

procedure Main is
   A : constant Natural := 1;

   function F (X : Natural; Y, Z : Natural ) return Natural is
     (A + X + Y + Z + 1);

   B : constant Natural := F (A, 1, 2) with Unreferenced;

begin
   null;
end Main;