Problem: analyzer does not know that zmq_abort does not return

Solution: add no-return attributes

src/err.hpp

@@ -56,7 +56,15 @@
 namespace zmq
 {
 const char *errno_to_string (int errno_);
+#if defined __clang__
+#if __has_feature(attribute_analyzer_noreturn)
+void zmq_abort (const char *errmsg_) __attribute__ ((analyzer_noreturn));
+#endif
+#elif defined __MSCVER__
+__declspec(noreturn) void zmq_abort (const char *errmsg_);
+#else
 void zmq_abort (const char *errmsg_);
+#endif
 void print_backtrace (void);
 }