summaryrefslogtreecommitdiff
path: root/coverity
diff options
context:
space:
mode:
authorAlan Antonuk <alan.antonuk@gmail.com>2015-12-25 20:23:08 -0800
committerAlan Antonuk <alan.antonuk@gmail.com>2015-12-25 20:23:08 -0800
commit751fa2764ce7cde1963c2c2789d77dca27296e73 (patch)
tree9dc9bc94245b4635650491059e6e8b6280a3956e /coverity
parente8bee2a1bd43f6c42ba0efabd1e6cc9cca5bb417 (diff)
downloadrabbitmq-c-751fa2764ce7cde1963c2c2789d77dca27296e73.tar.gz
Coverity: update model to include more abort funcs
Diffstat (limited to 'coverity')
-rw-r--r--coverity/model.c24
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__(); }