gcc/testsuite/gnat.dg/renaming16.adb

   1 -- { dg-do compile }
   2
   3 with Renaming16_Pkg; use Renaming16_Pkg;
   4
   5 procedure Renaming16 is
   6    Results : Bindings_Query_Results_Type;
   7 begin
   8    for I in Create_Bindings_Iterator (Results) loop
   9       null;
  10    end loop;
  11 end;