From 751fa2764ce7cde1963c2c2789d77dca27296e73 Mon Sep 17 00:00:00 2001 From: Alan Antonuk Date: Fri, 25 Dec 2015 20:23:08 -0800 Subject: Coverity: update model to include more abort funcs --- coverity/model.c | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'coverity') diff --git a/coverity/model.c b/coverity/model.c index 3eccc8d..f4776b9 100644 --- a/coverity/model.c +++ b/coverity/model.c @@ -1,16 +1,16 @@ /* Functions to help coverity do static analysis on rabbitmq-c */ -void amqp_abort(const char *fmt, ...) -{ - __coverity_panic__(); -} +typedef struct {} amqp_rpc_reply_t; -void die_on_amqp_error(amqp_rpc_reply *r) -{ - __coverity_panic__(); -} +/* librabbitmq/amqp_private.h */ +void amqp_abort(const char *fmt, ...) { __coverity_panic__(); } -void die_on_error(int r) -{ - __coverity_panic__(); -} +/* tools/common.h */ +void die(const char* fmt, ...) { __coverity_panic__(); } +void die_errno(int err, const char* fmt, ...) { __coverity_panic__(); } +void die_amqp_error(int err, const char* fmt, ...) { __coverity_panic__(); } +void die_rpc(amqp_rpc_reply_t r, const char* fmt, ...) { __coverity_panic__(); } + +/* examples/utils.h */ +void die_on_amqp_error(amqp_rpc_reply_t *r) { __coverity_panic__(); } +void die_on_error(int r) { __coverity_panic__(); } -- cgit v1.2.1