Date: Sat, 16 Mar 2002 10:02:44 +1100 (EST) From: Bruce Evans <bde@zeta.org.au> To: Dag-Erling Smorgrav <des@ofug.org> Cc: <obrien@FreeBSD.org>, <cvs-committers@FreeBSD.org>, <cvs-all@FreeBSD.org> Subject: Re: cvs commit: src/sys/ufs/ffs ffs_softdep.c Message-ID: <20020316095631.M25991-100000@gamplex.bde.org> In-Reply-To: <xzpd6y5pt9e.fsf@flood.ping.uio.no>
next in thread | previous in thread | raw e-mail | index | archive | help
On 15 Mar 2002, Dag-Erling Smorgrav wrote:
> "David O'Brien" <obrien@FreeBSD.org> writes:
> > It is a for() loop (or was that another file I made this same fix to),
> > which we know is not guaranteed to run at least once.
>
> In this case it is, and gcc could deduce it (if it tried) by seeing
> that the loop condition holds true at the beginning of the loop:
>
> for (loopcnt = 10; loopcnt > 0; loopcnt--) {
> /* ... */
> }
gcc has deduced this on i386's for at least 10 years. Why not on alphas?
Bruce
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe cvs-all" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020316095631.M25991-100000>