[src/trunk]: src/sys/lib/libkern For the purposes of static analysis, this ne...

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

details:   https://anonhg.NetBSD.org/src/rev/7e3bc7774cbb
branches:  trunk
changeset: 791467:7e3bc7774cbb
user:      christos <christos%NetBSD.org@localhost>
date:      Tue Nov 19 16:56:21 2013 +0000

description:
For the purposes of static analysis, this never returns.

diffstat:

 sys/lib/libkern/kern_assert.c |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 62e2b3ec0f72 -r 7e3bc7774cbb sys/lib/libkern/kern_assert.c
--- a/sys/lib/libkern/kern_assert.c     Tue Nov 19 16:42:16 2013 +0000
+++ b/sys/lib/libkern/kern_assert.c     Tue Nov 19 16:56:21 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: kern_assert.c,v 1.2 2011/09/29 20:50:09 christos Exp $ */
+/*     $NetBSD: kern_assert.c,v 1.3 2013/11/19 16:56:21 christos Exp $ */
 
 /*
  * Copyright (c) 1996 Christopher G. Demetriou
@@ -38,6 +38,7 @@
 #include <lib/libkern/libkern.h>
 #endif
 
+/* coverity[+kill] */
 void
 kern_assert(const char *fmt, ...)
 {