Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 13 Dec 2013 13:50:25 -0800
From:      Sean Bruno <sean_bruno@yahoo.com>
To:        current@freebsd.org
Subject:   kasserts behind invariants
Message-ID:  <1386971425.37172.9.camel@powernoodle.corp.yahoo.com>

next in thread | raw e-mail | index | archive | help
I guess this may have been argued before, but I don't see why we would
want to hide specific things like:  sys/kern/subr_lock.c

/* Check for double-init and zero object. */
KASSERT(!lock_initalized(lock), ("lock \"%s\" %p already initialized",
        name, lock));

If I hadn't completely missed the fact that I had INVARIANTS activated,
I'd never have found out why this vendor driver was being so completely
stupid and crashing my machine.

If I find things like this that I want old KASSERT behavior on (panic if
true) and I don't want to run INVARIANTS, is that possible?

sean




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1386971425.37172.9.camel>