From owner-freebsd-arch  Fri Nov 17  4:48:56 2000
Delivered-To: freebsd-arch@freebsd.org
Received: from warning.follo.net (warning.follo.net [195.204.136.30])
	by hub.freebsd.org (Postfix) with ESMTP
	id B346D37B479; Fri, 17 Nov 2000 04:48:41 -0800 (PST)
Received: (from eivind@localhost)
	by warning.follo.net (8.9.3/8.9.3) id NAA53657;
	Fri, 17 Nov 2000 13:48:34 +0100 (CET)
Date: Fri, 17 Nov 2000 13:48:34 +0100
From: Eivind Eklund <eivind@FreeBSD.ORG>
To: John Baldwin <jhb@FreeBSD.ORG>
Cc: arch@FreeBSD.ORG
Subject: Re: Turning on debugging in GENERIC
Message-ID: <20001117134834.A53319@warning.follo.net>
References: <20001115134312.C7752@warning.follo.net> <XFMail.001115100119.jhb@FreeBSD.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.4i
In-Reply-To: <XFMail.001115100119.jhb@FreeBSD.org>; from jhb@FreeBSD.ORG on Wed, Nov 15, 2000 at 10:01:19AM -0800
Sender: owner-freebsd-arch@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.ORG

On Wed, Nov 15, 2000 at 10:01:19AM -0800, John Baldwin wrote:
> On 15-Nov-00 Eivind Eklund wrote:
> > I'm not sure I'm happy about DIAGNOSTIC; unless changed, it
> > significantly change some codepaths, and it produce output about system
> > state, not just extra checks.  Any plain checks that are under DIAGNOSTIC is
> > there through a miscommunication or not finished conversion, anyway; it
> > should only be causing extra debug output.
> 
> Ok.  So converting any cases of DIAGNOSTIC that are extra checks to use
> INVARIANTS instead would be a preferable solution?

Yes.

Eivind.


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-arch" in the body of the message