All. KASSERT() is a really need way of expressing invariants when
INVARIANTS is defined. However for regular, non-INVARIANTS code folks
have the typical if() panic() combos, or private macros. Would a
KVERIFY() that does this in non-INVARIANTS code make sense?

-vijay
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "[email protected]"

Reply via email to