[Bug ada/66437] False Positive warning "Variable is not modified in loop body"

[egallager at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66437

Eric Gallager <egallager at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
                 CC|                            |egallager at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #2 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #1)
> 4.7.x is not supported anymore, please try more recent versions.  IIRC this
> was fixed at some point.

Closing because it seems the reporter never tried a more recent version