Insert coverity annotations [experimental; I don't know if those work

at the variable declaration level, but we'll see]
This commit is contained in:
christos 2006-03-29 16:40:50 +00:00
parent f252e17155
commit 1d00887f5d
2 changed files with 5 additions and 2 deletions

View File

@ -1,4 +1,4 @@
/* $NetBSD: assertions.h,v 1.1.1.3 2005/12/21 23:15:22 christos Exp $ */
/* $NetBSD: assertions.h,v 1.2 2006/03/29 16:40:50 christos Exp $ */
/*
* Copyright (c) 2004 by Internet Systems Consortium, Inc. ("ISC")
@ -31,7 +31,9 @@ typedef enum {
typedef void (*assertion_failure_callback)(const char *, int, assertion_type,
const char *, int);
/* coverity[+kill] */
extern assertion_failure_callback __assertion_failed;
void set_assertion_failure_callback(assertion_failure_callback f);
const char *assertion_type_to_text(assertion_type type);

View File

@ -1,4 +1,4 @@
/* $NetBSD: assertions.h,v 1.1.1.3 2005/12/21 23:17:24 christos Exp $ */
/* $NetBSD: assertions.h,v 1.2 2006/03/29 16:40:50 christos Exp $ */
/*
* Copyright (C) 2004 Internet Systems Consortium, Inc. ("ISC")
@ -39,6 +39,7 @@ typedef enum {
typedef void (*isc_assertioncallback_t)(const char *, int, isc_assertiontype_t,
const char *);
/* coverity[+kill] */
LIBISC_EXTERNAL_DATA extern isc_assertioncallback_t isc_assertion_failed;
void