From owner-freebsd-bugs  Thu Jul 20 15:27:02 1995
Return-Path: bugs-owner
Received: (from majordom@localhost)
          by freefall.cdrom.com (8.6.11/8.6.6) id PAA27097
          for bugs-outgoing; Thu, 20 Jul 1995 15:27:02 -0700
Received: from cs.weber.edu (cs.weber.edu [137.190.16.16])
          by freefall.cdrom.com (8.6.11/8.6.6) with SMTP id PAA27091
          for <bugs@freebsd.org>; Thu, 20 Jul 1995 15:27:00 -0700
Received: by cs.weber.edu (4.1/SMI-4.1.1)
	id AA03618; Thu, 20 Jul 95 16:19:02 MDT
From: terry@cs.weber.edu (Terry Lambert)
Message-Id: <9507202219.AA03618@cs.weber.edu>
Subject: Re: possible ffs_vget() race condition
To: bde@zeta.org.au (Bruce Evans)
Date: Thu, 20 Jul 95 16:19:02 MDT
Cc: dillon@blob.best.net, bugs@freebsd.org, davidg@Root.COM,
        mckusick@McKusick.COM
In-Reply-To: <199507201832.EAA04386@godzilla.zeta.org.au> from "Bruce Evans" at Jul 21, 95 04:32:13 am
X-Mailer: ELM [version 2.4dev PL52]
Sender: bugs-owner@freebsd.org
Precedence: bulk

> The shift method has the advantage of giving the correct result :-).
> You meant ((~(u_quad_t)0) >> 1).  This depends on u_quad_t being
> larger than int.

I don't understand why this would depend on quad being larger than int;
because the naked 1 is of type int?

Then quad would need to be >= int, not necessarily larger.

I think we can guarantee quad >= long >= int.  8-).

Better than depending on quad == 64 bits in any case.


					Terry Lambert
					terry@cs.weber.edu
---
Any opinions in this posting are my own and not those of my present
or previous employers.