On Thu, Jun 28, 2007 at 02:37:00PM -0400, Oliver Gould wrote:

> Solaris defines VERIFY(exp), which is equivalent to KASSERT(exp), but it
> is always tested (ie, even if DIAGNOSTIC is not set).  Is it okay to
> define VERIFY to be assert?  I haven't been able to find any
> documentation on (lowercase) assert, so I am left to guess that this is
> the intended use.  Am I correct?

Can you see any special reason ZFS uses VERIFY() instead of ASSERT() in
those places? If it looks like the use is justified we could always add
a KVERIFY().

Andrew