Index: kern_synch.c
===================================================================
RCS file: /cvs/src/sys/kern/kern_synch.c,v
diff -u -p -r1.223 kern_synch.c
--- kern_synch.c	1 May 2025 06:58:21 -0000	1.223
+++ kern_synch.c	1 May 2025 07:06:06 -0000
@@ -368,8 +368,8 @@ sleep_finish(int timo, int do_sleep)
 
 	catch = p->p_flag & P_SINTR;
 
+	KASSERT(!ISSET(p->p_flag, P_TIMEOUT|P_TIMEOUTRAN));
 	if (timo != 0) {
-		KASSERT(!ISSET(p->p_flag, P_TIMEOUT|P_TIMEOUTRAN));
 		timeout_add(&p->p_sleep_to, timo);
 	}