diff options
author | Alan Antonuk <alan.antonuk@gmail.com> | 2015-12-25 20:23:08 -0800 |
---|---|---|
committer | Alan Antonuk <alan.antonuk@gmail.com> | 2015-12-25 20:23:08 -0800 |
commit | 751fa2764ce7cde1963c2c2789d77dca27296e73 (patch) | |
tree | 9dc9bc94245b4635650491059e6e8b6280a3956e /coverity | |
parent | e8bee2a1bd43f6c42ba0efabd1e6cc9cca5bb417 (diff) | |
download | rabbitmq-c-751fa2764ce7cde1963c2c2789d77dca27296e73.tar.gz |
Coverity: update model to include more abort funcs
Diffstat (limited to 'coverity')
-rw-r--r-- | coverity/model.c | 24 |
1 files changed, 12 insertions, 12 deletions
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__(); } |