This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PR2828
- To: rth at redhat dot com
- Subject: Re: PR2828
- From: Mark Mitchell <mark at codesourcery dot com>
- Date: Tue, 05 Jun 2001 23:20:21 -0700
- Cc: gcc-patches at gcc dot gnu dot org
- Organization: CodeSourcery, LLC
- References: <20010605215014.A26276@redhat.com>
Excellent.
I would still like to prove that the loop always terminates, even when
doing an update, but we can leave that for another year.
Thanks!
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com