Add more coverity assertions. If this does not work, I will have to follow
a different tactic.
This commit is contained in:
parent
8533275dab
commit
2e0077c305
|
@ -1,4 +1,4 @@
|
||||||
/* $NetBSD: assertions.c,v 1.1.1.3 2005/12/21 23:15:39 christos Exp $ */
|
/* $NetBSD: assertions.c,v 1.2 2006/04/02 00:53:56 christos Exp $ */
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Copyright (c) 2004 by Internet Systems Consortium, Inc. ("ISC")
|
* Copyright (c) 2004 by Internet Systems Consortium, Inc. ("ISC")
|
||||||
|
@ -80,6 +80,7 @@ assertion_type_to_text(assertion_type type) {
|
||||||
* Private.
|
* Private.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
/* coverity[+kill] */
|
||||||
static void
|
static void
|
||||||
default_assertion_failed(const char *file, int line, assertion_type type,
|
default_assertion_failed(const char *file, int line, assertion_type type,
|
||||||
const char *cond, int print_errno)
|
const char *cond, int print_errno)
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
/* $NetBSD: assertions.c,v 1.5 2005/12/22 00:26:24 christos Exp $ */
|
/* $NetBSD: assertions.c,v 1.6 2006/04/02 00:53:57 christos Exp $ */
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Copyright (C) 1997-2001 Internet Software Consortium.
|
* Copyright (C) 1997-2001 Internet Software Consortium.
|
||||||
|
@ -81,6 +81,7 @@ isc_assertion_typetotext(isc_assertiontype_t type) {
|
||||||
* Private.
|
* Private.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
/* coverity[+kill] */
|
||||||
static void
|
static void
|
||||||
default_callback(const char *file, int line, isc_assertiontype_t type,
|
default_callback(const char *file, int line, isc_assertiontype_t type,
|
||||||
const char *cond)
|
const char *cond)
|
||||||
|
|
Loading…
Reference in New Issue