Date: Thu, 30 Sep 1999 13:13:13 -0700 (PDT) From: Matthew Jacob <mjacob@feral.com> To: Matthew Dillon <dillon@apollo.backplane.com> Cc: current@FreeBSD.ORG Subject: Re: ASSERT macros in the kernel.... Message-ID: <Pine.BSF.4.10.9909301311570.78588-100000@beppo.feral.com> In-Reply-To: <199909302009.NAA13502@apollo.backplane.com>
next in thread | previous in thread | raw e-mail | index | archive | help
> :I don't seem to see (after not looking very hard) any ASSERT macros for > :the kernel in FreeBSD. It'd be pretty easy to add them, and they're > :awfully useful. They're different from INVARIANT support in that they > :encapsulate (and panic if the assertion is triggered) more inline types of > :conditions. > : > :Any opinions? > : > :-matt > > I don't understand what you want to do. KASSERT() is the standard > way to assert something in the kernel, but we do not want to bloat > the code unnecessarily so KASSERT()s only do something if INVARIANT > support has been turned on. > > If we need to panic on something whether or not invariant support has > been turned on, we currently just use a conditional and a panic. > > How would ASSERT be different from KASSERT() ? > > -Matt > >>I don't seem to see (after not looking very hard) any ASSERT macros for That's what it was- I grepped for ASSERT, but somehow missed KASSERT- that's sufficinet for me, I can live with INVARIANTS. Sorry- I'm a moron- never mind.... To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSF.4.10.9909301311570.78588-100000>