Module Name: src
Committed By: christos
Date: Tue Nov 19 16:56:21 UTC 2013
Modified Files:
src/sys/lib/libkern: kern_assert.c
Log Message:
For the purposes of static analysis, this never returns.
To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 src/sys/lib/libkern/kern_assert.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/lib/libkern/kern_assert.c
diff -u src/sys/lib/libkern/kern_assert.c:1.2 src/sys/lib/libkern/kern_assert.c:1.3
--- src/sys/lib/libkern/kern_assert.c:1.2 Thu Sep 29 16:50:09 2011
+++ src/sys/lib/libkern/kern_assert.c Tue Nov 19 11:56:21 2013
@@ -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, ...)
{
