1--  { dg-do compile }
2--  { dg-options "-gnata" }
3
4procedure Loop_Entry2 (S : String) is
5   J : Integer := S'First;
6begin
7   while S(J..J+1) = S(J..J+1) loop
8      pragma Loop_Invariant (for all K in J'Loop_Entry .. J => K <= J);
9      J := J + 1;
10   end loop;
11end;
12