https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89134
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |UNCONFIRMED
Ever confirmed|1 |0
--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
Let me actually retract the confirmation. I acknowledged this for the pure
attribute apparently not being taken into consideration when determining
whether the loop terminates, on the basis of the minimum the standard requires.
But since GCC emits infinite loops regardless of whether or not they have any
side-effects, whether inc() is pure or not may not matter. Richard is the
expert on loops so I should defer to him, especially since this request seems
to be about more than just finite loops.
