https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117371
--- Comment #6 from Ludovic Brenta <ludo...@ludovic-brenta.org> --- Thanks for the fix but now I am curious: is K not a constant inside the outer loop? i.e. is it allowed to assign to K? (In Ada, FOR loops implicitly declare the so-called "loop parameter", a constant whose scope is one iteration of the loop).
