Module Name: src
Committed By: riastradh
Date: Tue Apr 1 15:19:37 UTC 2014
Modified Files:
src/sys/external/bsd/common/include/linux: completion.h
Log Message:
Explicitly kassert the precondition c_done != 0 in _completion_claim.
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 \
src/sys/external/bsd/common/include/linux/completion.h
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/external/bsd/common/include/linux/completion.h
diff -u src/sys/external/bsd/common/include/linux/completion.h:1.1 src/sys/external/bsd/common/include/linux/completion.h:1.2
--- src/sys/external/bsd/common/include/linux/completion.h:1.1 Tue Apr 1 15:12:38 2014
+++ src/sys/external/bsd/common/include/linux/completion.h Tue Apr 1 15:19:37 2014
@@ -1,4 +1,4 @@
-/* $NetBSD: completion.h,v 1.1 2014/04/01 15:12:38 riastradh Exp $ */
+/* $NetBSD: completion.h,v 1.2 2014/04/01 15:19:37 riastradh Exp $ */
/*-
* Copyright (c) 2013 The NetBSD Foundation, Inc.
@@ -151,6 +151,7 @@ _completion_claim(struct completion *com
{
KASSERT(mutex_owned(&completion->c_lock));
+ KASSERT(completion->c_done != 0);
if (completion->c_done > 0)
completion->c_done--;
else
