gcc/testsuite/gnat.dg/constant4.adb

   1 -- { dg-do link }
   2 -- { dg-options "-gnat12" }
   3
   4 with Constant4_Pkg; use Constant4_Pkg;
   5
   6 procedure Constant4 is
   7    Sum : Counter := 0;
   8 begin
   9    for Count of Steals loop
  10       Sum := Sum + Count;
  11    end loop;
  12 end;