Date: Wed, 5 Dec 2012 15:59:49 -0800 From: Vijay Singh <vijju.singh@gmail.com> To: hackers@freebsd.org Subject: KVERIFY for non-debug invariants? Message-ID: <CALCNsJTm5e8KZ5Y%2BCBGrAMzDUbyZSSh%2BG76AHTufJA7y0wnt0g@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALCNsJTm5e8KZ5Y%2BCBGrAMzDUbyZSSh%2BG76AHTufJA7y0wnt0g>