gcc-4.9/gcc/testsuite/gnat.dg/constant4.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { 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;