diff options
| author | christos <christos@NetBSD.org> | 2006-04-15 01:09:34 +0000 |
|---|---|---|
| committer | christos <christos@NetBSD.org> | 2006-04-15 01:09:34 +0000 |
| commit | c76b868cf48f96b33c4e35db9de30cc47bfbcd59 (patch) | |
| tree | bb2fd649c291e4e2d41d9533640ab4bf53efe832 /sys | |
| parent | de067efed8f809dcba12e7bda788ab62268d2a38 (diff) | |
Imply DIAGNOSTIC if __COVERITY__.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/lib/libkern/libkern.h | 12 |
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 : \ |
