From owner-cvs-all  Fri Mar 15 15: 2:21 2002
Delivered-To: cvs-all@freebsd.org
Received: from mailman.zeta.org.au (mailman.zeta.org.au [203.26.10.16])
	by hub.freebsd.org (Postfix) with ESMTP
	id 7B7F537B400; Fri, 15 Mar 2002 15:01:17 -0800 (PST)
Received: from bde.zeta.org.au (bde.zeta.org.au [203.2.228.102])
	by mailman.zeta.org.au (8.9.3/8.8.7) with ESMTP id KAA17807;
	Sat, 16 Mar 2002 10:01:10 +1100
Date: Sat, 16 Mar 2002 10:02:44 +1100 (EST)
From: Bruce Evans <bde@zeta.org.au>
X-X-Sender:  <bde@gamplex.bde.org>
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
In-Reply-To: <xzpd6y5pt9e.fsf@flood.ping.uio.no>
Message-ID: <20020316095631.M25991-100000@gamplex.bde.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-cvs-all@FreeBSD.ORG
Precedence: bulk
List-ID: <cvs-all.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20cvs-all>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20cvs-all>
X-Loop: FreeBSD.ORG

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