[doc] empty loops

[Richard Henderson]

On Wed, Nov 24, 2004 at 07:41:01PM +0100, Zdenek Dvorak wrote:
> is this really true?  The last time I checked we did not remove
> provably finite empty loops (except for those that do not iterate too
> much, that may get removed as a side effect of unrolling), although
> patch for this is pending for some time.

It's certainly ok to document that we intend to remove such loops,
even if we don't actually do it now.


r~