Add Coverity model file

1 files changed, 16 insertions, 0 deletions

diff --git a/coverity/model.c b/coverity/model.c
new file mode 100644
index 0000000..3eccc8d
--- /dev/null
+++ b/coverity/model.c
@@ -0,0 +1,16 @@
+/* Functions to help coverity do static analysis on rabbitmq-c */
+
+void amqp_abort(const char *fmt, ...)
+{
+  __coverity_panic__();
+}
+
+void die_on_amqp_error(amqp_rpc_reply *r)
+{
+  __coverity_panic__();
+}
+
+void die_on_error(int r)
+{
+  __coverity_panic__();
+}