Warn pointer to signed integer cast for ilp32

[official-gcc.git] / gcc / testsuite / gnat.dg / constant4.adb

-- { dg-do link }
-- { dg-options "-gnat12" }

with Constant4_Pkg; use Constant4_Pkg;

procedure Constant4 is
   Sum : Counter := 0;
begin
   for Count of Steals loop
      Sum := Sum + Count;
   end loop;
end;