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