blob: e8e93d440366b88a0309e7fe9096c40e2256baa0 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-O -gnatws" }
-- PR middle-end/35136
pragma Extend_System(AUX_DEC);
with System;
procedure Loop_Address is
function Y(E : Integer) return String is
begin
return "";
end Y;
function X(C : in System.Address) return String is
D : Integer;
for D use at C;
begin
return Y(D);
end X;
A : System.Address;
B : String := "";
begin
for I in 0..1 loop
B := X(System."+"(A, I));
end loop;
end;