KASSERT: always assert; KWARN

[K. Macy]

Ugh. Et tu Brutus. Then they either shouldn't be asserts or you need a new
mode for Adrian and friends. Either way, if people don't want to hit panics
from asserts they should not run with invariants enabled. No one other than
manic depressive developers look at logs in the common case.

On Tuesday, May 10, 2016, Adrian Chadd <adrian.chadd at gmail.com> wrote:

> i found it very useful to get asserts to print, rather than panic.
>
>
>
> -a
>
>
> On 10 May 2016 at 18:24, Conrad Meyer <cem at freebsd.org <javascript:;>>
> wrote:
> > I'd like to logically revert r243980 and r244105, such that KASSERT
> > uses the __dead2-annotated panic(9).
> >
> > Going back to the old behavior enables Coverity and other static
> > analyzers to reason about KASSERT invariants via the __dead2 panic(9)
> > path.
> >
> > This proposal is in https://reviews.freebsd.org/D6117 .
> >
> > As a follow-up, to match the assumed intent of the r243980 changes, I
> > propose a KWARN facility which may be muted, rate limited, or even
> > cause panic.  Generally, KASSERTs should not be KWARNs.  That proposal
> > is here: https://reviews.freebsd.org/D6134
> >
> > Finally, I am looking for suggestions of things it *does* make sense
> > to KWARN about.  One suggestion was witness_warn; however, it doesn't
> > seem like a great fit (without adding allocating sbufs in, anyway).  A
> > sketch of that is in https://reviews.freebsd.org/D6306 .
> >
> > Thoughts or objections?  Does anyone like the ability to opt out of
> > invariants asserts?
> >
> > Best,
> > Conrad
> > _______________________________________________
> > freebsd-arch at freebsd.org <javascript:;> mailing list
> > https://lists.freebsd.org/mailman/listinfo/freebsd-arch
> > To unsubscribe, send any mail to "freebsd-arch-unsubscribe at freebsd.org
> <javascript:;>"
> _______________________________________________
> freebsd-arch at freebsd.org <javascript:;> mailing list
> https://lists.freebsd.org/mailman/listinfo/freebsd-arch
> To unsubscribe, send any mail to "freebsd-arch-unsubscribe at freebsd.org
> <javascript:;>"
>