Module Name:    src
Committed By:   riastradh
Date:           Sat Oct 15 15:27:20 UTC 2022

Modified Files:
        src/sys/kern: subr_kobj.c

Log Message:
kobj(9): Fix kobj_read_mem error branches.

Rewrite positively to simplify logic: Write errors as branches,
normal case as straight-line code.

In the case where allocate=true but arithmetic overflow occurs, this
avoids trying to kmem_free null, which is forbidden.


To generate a diff of this commit:
cvs rdiff -u -r1.71 -r1.72 src/sys/kern/subr_kobj.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/subr_kobj.c
diff -u src/sys/kern/subr_kobj.c:1.71 src/sys/kern/subr_kobj.c:1.72
--- src/sys/kern/subr_kobj.c:1.71	Sat Oct 15 15:23:24 2022
+++ src/sys/kern/subr_kobj.c	Sat Oct 15 15:27:20 2022
@@ -1,4 +1,4 @@
-/*	$NetBSD: subr_kobj.c,v 1.71 2022/10/15 15:23:24 riastradh Exp $	*/
+/*	$NetBSD: subr_kobj.c,v 1.72 2022/10/15 15:27:20 riastradh Exp $	*/
 
 /*
  * Copyright (c) 2008 The NetBSD Foundation, Inc.
@@ -63,7 +63,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: subr_kobj.c,v 1.71 2022/10/15 15:23:24 riastradh Exp $");
+__KERNEL_RCSID(0, "$NetBSD: subr_kobj.c,v 1.72 2022/10/15 15:27:20 riastradh Exp $");
 
 #ifdef _KERNEL_OPT
 #include "opt_modular.h"
@@ -1145,7 +1145,7 @@ kobj_read_mem(kobj_t ko, void **basep, s
     bool allocate)
 {
 	void *base = *basep;
-	int error;
+	int error = 0;
 
 	KASSERT(ko->ko_source != NULL);
 
@@ -1154,31 +1154,23 @@ kobj_read_mem(kobj_t ko, void **basep, s
 		    (unsigned long long)off);
 		error = EINVAL;
 		base = NULL;
+		goto out;
 	} else if (ko->ko_memsize != -1 &&
 	    (size > ko->ko_memsize || off > ko->ko_memsize - size)) {
 		kobj_error(ko, "preloaded object short");
 		error = EINVAL;
 		base = NULL;
-	} else if (allocate) {
-		base = kmem_alloc(size, KM_SLEEP);
-		error = 0;
-	} else {
-		error = 0;
+		goto out;
 	}
 
-	if (error == 0) {
-		/* Copy the section */
-		memcpy(base, (uint8_t *)ko->ko_source + off, size);
-	}
+	if (allocate)
+		base = kmem_alloc(size, KM_SLEEP);
 
-	if (allocate && error != 0) {
-		kmem_free(base, size);
-		base = NULL;
-	}
+	/* Copy the section */
+	memcpy(base, (uint8_t *)ko->ko_source + off, size);
 
-	if (allocate)
+out:	if (allocate)
 		*basep = base;
-
 	return error;
 }
 

Reply via email to