summaryrefslogtreecommitdiff
path: root/sys
diff options
context:
space:
mode:
authorchristos <christos@NetBSD.org>2006-04-15 01:09:34 +0000
committerchristos <christos@NetBSD.org>2006-04-15 01:09:34 +0000
commitc76b868cf48f96b33c4e35db9de30cc47bfbcd59 (patch)
treebb2fd649c291e4e2d41d9533640ab4bf53efe832 /sys
parentde067efed8f809dcba12e7bda788ab62268d2a38 (diff)
Imply DIAGNOSTIC if __COVERITY__.
Diffstat (limited to 'sys')
-rw-r--r--sys/lib/libkern/libkern.h12
1 files changed, 9 insertions, 3 deletions
diff --git a/sys/lib/libkern/libkern.h b/sys/lib/libkern/libkern.h
index f27860463f1..8ad9d1057c4 100644
--- a/sys/lib/libkern/libkern.h
+++ b/sys/lib/libkern/libkern.h
@@ -1,4 +1,4 @@
-/* $NetBSD: libkern.h,v 1.60 2006/04/14 18:24:56 christos Exp $ */
+/* $NetBSD: libkern.h,v 1.61 2006/04/15 01:09:34 christos Exp $ */
/*-
* Copyright (c) 1992, 1993
@@ -203,14 +203,20 @@ tolower(int ch)
#endif
#endif
-#if !defined(DIAGNOSTIC) && !defined(__COVERITY__)
+#ifdef __COVERITY__
+#ifndef DIAGNOSTIC
+#define DIAGNOSTIC
+#endif
+#endif
+
+#ifndef DIAGNOSTIC
#define _DIAGASSERT(a) (void)0
#ifdef lint
#define KASSERT(e) /* NOTHING */
#else /* !lint */
#define KASSERT(e) ((void)0)
#endif /* !lint */
-#else /* DIAGNOSTIC || __COVERITY__ */
+#else /* DIAGNOSTIC */
#define _DIAGASSERT(a) assert(a)
#ifdef __STDC__
#define KASSERT(e) (__predict_true((e)) ? (void)0 : \