diff options
| author | alfred <alfred@FreeBSD.org> | 2012-12-11 05:59:16 +0000 |
|---|---|---|
| committer | alfred <alfred@FreeBSD.org> | 2012-12-11 05:59:16 +0000 |
| commit | 10171a489d85e578877fb44d3d269bf3614b8315 (patch) | |
| tree | 03a888a5d87d3bd9147cf8bd2cc14593d0bdd5f8 /sys/kern/subr_witness.c | |
| parent | b35ed10b9e923445d6c1992e687327f0e0b2c67b (diff) | |
| download | FreeBSD-src-10171a489d85e578877fb44d3d269bf3614b8315.zip FreeBSD-src-10171a489d85e578877fb44d3d269bf3614b8315.tar.gz | |
Fix WITNESS when INVARIANT_SUPPORT is defined.
This fixes tinderbox breakage from r244105.
Pointed out by: adrian
Diffstat (limited to 'sys/kern/subr_witness.c')
| -rw-r--r-- | sys/kern/subr_witness.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/kern/subr_witness.c b/sys/kern/subr_witness.c index c6e86a5..12daf9f 100644 --- a/sys/kern/subr_witness.c +++ b/sys/kern/subr_witness.c @@ -2263,6 +2263,7 @@ witness_assert(const struct lock_object *lock, int flags, const char *file, else { kassert_panic("Lock (%s) %s is not sleep or spin!", class->lc_name, lock->lo_name); + return; } switch (flags) { case LA_UNLOCKED: |
