Author: alfred
Date: Tue Dec 11 05:59:16 2012
New Revision: 244111
URL: http://svnweb.freebsd.org/changeset/base/244111

Log:
  Fix WITNESS when INVARIANT_SUPPORT is defined.
  
  This fixes tinderbox breakage from r244105.
  
  Pointed out by: adrian

Modified:
  head/sys/kern/subr_witness.c

Modified: head/sys/kern/subr_witness.c
==============================================================================
--- head/sys/kern/subr_witness.c        Tue Dec 11 05:11:28 2012        
(r244110)
+++ head/sys/kern/subr_witness.c        Tue Dec 11 05:59:16 2012        
(r244111)
@@ -2263,6 +2263,7 @@ witness_assert(const struct lock_object 
        else {
                kassert_panic("Lock (%s) %s is not sleep or spin!",
                    class->lc_name, lock->lo_name);
+               return;
        }
        switch (flags) {
        case LA_UNLOCKED:
_______________________________________________
svn-src-head@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to