Module Name:    src
Committed By:   riastradh
Date:           Sat Apr 22 14:23:59 UTC 2023

Modified Files:
        src/sys/kern: kern_descrip.c sys_descrip.c

Log Message:
fcntl(2), flock(2): Assert FHASLOCK is clear if no fo_advlock.


To generate a diff of this commit:
cvs rdiff -u -r1.256 -r1.257 src/sys/kern/kern_descrip.c
cvs rdiff -u -r1.45 -r1.46 src/sys/kern/sys_descrip.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/sys/kern/kern_descrip.c
diff -u src/sys/kern/kern_descrip.c:1.256 src/sys/kern/kern_descrip.c:1.257
--- src/sys/kern/kern_descrip.c:1.256	Sat Apr 22 13:52:46 2023
+++ src/sys/kern/kern_descrip.c	Sat Apr 22 14:23:59 2023
@@ -1,4 +1,4 @@
-/*	$NetBSD: kern_descrip.c,v 1.256 2023/04/22 13:52:46 riastradh Exp $	*/
+/*	$NetBSD: kern_descrip.c,v 1.257 2023/04/22 14:23:59 riastradh Exp $	*/
 
 /*-
  * Copyright (c) 2008, 2009 The NetBSD Foundation, Inc.
@@ -70,7 +70,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: kern_descrip.c,v 1.256 2023/04/22 13:52:46 riastradh Exp $");
+__KERNEL_RCSID(0, "$NetBSD: kern_descrip.c,v 1.257 2023/04/22 14:23:59 riastradh Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -852,7 +852,9 @@ closef(file_t *fp)
 	mutex_exit(&fp->f_lock);
 
 	/* We held the last reference - release locks, close and free. */
-	if ((fp->f_flag & FHASLOCK) && fp->f_ops->fo_advlock != NULL) {
+	if (fp->f_ops->fo_advlock == NULL) {
+		KASSERT((fp->f_flag & FHASLOCK) == 0);
+	} else if (fp->f_flag & FHASLOCK) {
 		lf.l_whence = SEEK_SET;
 		lf.l_start = 0;
 		lf.l_len = 0;

Index: src/sys/kern/sys_descrip.c
diff -u src/sys/kern/sys_descrip.c:1.45 src/sys/kern/sys_descrip.c:1.46
--- src/sys/kern/sys_descrip.c:1.45	Sat Apr 22 14:23:50 2023
+++ src/sys/kern/sys_descrip.c	Sat Apr 22 14:23:59 2023
@@ -1,4 +1,4 @@
-/*	$NetBSD: sys_descrip.c,v 1.45 2023/04/22 14:23:50 riastradh Exp $	*/
+/*	$NetBSD: sys_descrip.c,v 1.46 2023/04/22 14:23:59 riastradh Exp $	*/
 
 /*-
  * Copyright (c) 2008, 2020 The NetBSD Foundation, Inc.
@@ -67,7 +67,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: sys_descrip.c,v 1.45 2023/04/22 14:23:50 riastradh Exp $");
+__KERNEL_RCSID(0, "$NetBSD: sys_descrip.c,v 1.46 2023/04/22 14:23:59 riastradh Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -620,6 +620,7 @@ sys_flock(struct lwp *l, const struct sy
 		goto out;
 	}
 	if ((fo_advlock = fp->f_ops->fo_advlock) == NULL) {
+		KASSERT((atomic_load_relaxed(&fp->f_flag) & FHASLOCK) == 0);
 		error = EOPNOTSUPP;
 		goto out;
 	}

Reply via email to