Date: Sun, 22 Jan 2023 09:19:16 GMT From: Konstantin Belousov <kib@FreeBSD.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-branches@FreeBSD.org Subject: git: 2c5bfa8b8c6b - stable/13 - Require INVARIANTS and WITNESS if DEBUG_VFS_LOCKS is set Message-ID: <202301220919.30M9JGXm044194@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch stable/13 has been updated by kib: URL: https://cgit.FreeBSD.org/src/commit/?id=2c5bfa8b8c6b8ed0a988b0137725813430b478d6 commit 2c5bfa8b8c6b8ed0a988b0137725813430b478d6 Author: Konstantin Belousov <kib@FreeBSD.org> AuthorDate: 2023-01-15 21:33:10 +0000 Commit: Konstantin Belousov <kib@FreeBSD.org> CommitDate: 2023-01-22 09:18:09 +0000 Require INVARIANTS and WITNESS if DEBUG_VFS_LOCKS is set Tested by: pho (cherry picked from commit 0f80d5ebc898f487067a3f2232f9ab0a7b291277) --- sys/kern/vfs_subr.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/sys/kern/vfs_subr.c b/sys/kern/vfs_subr.c index ca2d86385f4c..81bad2da0f0c 100644 --- a/sys/kern/vfs_subr.c +++ b/sys/kern/vfs_subr.c @@ -99,6 +99,10 @@ __FBSDID("$FreeBSD$"); #include <vm/vm_kern.h> #include <vm/uma.h> +#if defined(DEBUG_VFS_LOCKS) && (!defined(INVARIANTS) || !defined(WITNESS)) +#error DEBUG_VFS_LOCKS requires INVARIANTS and WITNESS +#endif + #ifdef DDB #include <ddb/ddb.h> #endif
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202301220919.30M9JGXm044194>