libbind:coverity analysis support. [RT #18196]

This commit is contained in:
Mark Andrews
2008-10-15 03:57:45 +00:00
parent 7a19d8de2c
commit 265abbfdcc
2 changed files with 6 additions and 4 deletions
+4 -3
View File
@@ -16,7 +16,7 @@
*/
/*
* $Id: assertions.h,v 1.1.206.1 2004/03/09 08:33:30 marka Exp $
* $Id: assertions.h,v 1.1.206.2 2008/10/15 03:57:45 marka Exp $
*/
#ifndef ASSERTIONS_H
@@ -29,18 +29,19 @@ 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);
#ifdef CHECK_ALL
#if defined(CHECK_ALL) || defined(__COVERITY__)
#define CHECK_REQUIRE 1
#define CHECK_ENSURE 1
#define CHECK_INSIST 1
#define CHECK_INVARIANT 1
#endif
#ifdef CHECK_NONE
#if defined(CHECK_NONE) && !defined(__COVERITY__)
#define CHECK_REQUIRE 0
#define CHECK_ENSURE 0
#define CHECK_INSIST 0