On Sun, Nov 5, 2017 at 11:13 AM, Andriy Gapon <[email protected]> wrote: > I guess (only guess) that Conrad is saying that it would be useful to have a > macro like KASSERT but which would be always active regardless of INVARIANTS. > E.g. in illumos they have ASSERT and VERIFY.
Yes, exactly. There are numerous places in the kernel where we have essentially an unrolled version of that idea, with if + panic. Best, Conrad _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/svn-src-all To unsubscribe, send any mail to "[email protected]"
