[src/trunk]: src/sys/external/bsd/common/include/linux Explicitly kassert the...

[riastradh <riastradh%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/b83df334381f
branches:  trunk
changeset: 328361:b83df334381f
user:      riastradh <riastradh%NetBSD.org@localhost>
date:      Tue Apr 01 15:19:37 2014 +0000

description:
Explicitly kassert the precondition c_done != 0 in _completion_claim.

diffstat:

 sys/external/bsd/common/include/linux/completion.h |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 5bb5b55f263d -r b83df334381f sys/external/bsd/common/include/linux/completion.h
--- a/sys/external/bsd/common/include/linux/completion.h        Tue Apr 01 15:19:29 2014 +0000
+++ b/sys/external/bsd/common/include/linux/completion.h        Tue Apr 01 15:19:37 2014 +0000
@@ -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 @@
 {
 
        KASSERT(mutex_owned(&completion->c_lock));
+       KASSERT(completion->c_done != 0);
        if (completion->c_done > 0)
                completion->c_done--;
        else