On 23/08/2018 01:19, Conrad Meyer wrote: > Author: cem > Date: Wed Aug 22 22:19:42 2018 > New Revision: 338214 > URL: https://svnweb.freebsd.org/changeset/base/338214 > > Log: > KASSERT: Make runtime optionality optional
Thank you! > Add an option, KASSERT_PANIC_OPTIONAL, that allows runtime KASSERT() > behavior changes. When this option is not enabled, code that allows > KASSERTs to become optional is not enabled, and all violated assertions > cause termination. > > The runtime KASSERT behavior was added in r243980. > > One important distinction here is that panic has __dead2 > ("attribute((noreturn))"), while kassert_panic does not. Static analyzers > like Coverity understand __dead2. Without it, KASSERTs go misunderstood, > resulting in many false positives that result from violation of program > invariants. > > Reviewed by: jhb, jtl, np, vangyzen > Relnotes: yes > Sponsored by: Dell EMC Isilon > Differential Revision: https://reviews.freebsd.org/D16835 -- Andriy Gapon _______________________________________________ svn-src-head@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/svn-src-head To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"