From: Marek VavruĊĦa Date: Sat, 28 Nov 2015 20:35:33 +0000 (+0100) Subject: lib+daemon: annotated lua_error() for static checkers X-Git-Tag: v1.0.0-beta3~69 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eafa3ae2dc8977a5f6956c43c087fddb5460c123;p=thirdparty%2Fknot-resolver.git lib+daemon: annotated lua_error() for static checkers --- diff --git a/daemon/bindings.c b/daemon/bindings.c index 39469cb84..9c751146a 100644 --- a/daemon/bindings.c +++ b/daemon/bindings.c @@ -21,6 +21,9 @@ #include "daemon/bindings.h" #include "daemon/worker.h" +/** @internal Annotate for static checkers. */ +KR_NORETURN int lua_error (lua_State *L); + /** @internal Prefix error with file:line */ static int format_error(lua_State* L, const char *err) { diff --git a/daemon/engine.c b/daemon/engine.c index ac937c358..8d92c13da 100644 --- a/daemon/engine.c +++ b/daemon/engine.c @@ -37,6 +37,9 @@ #define lua_rawlen(L, obj) lua_objlen((L), (obj)) #endif +/** @internal Annotate for static checkers. */ +KR_NORETURN int lua_error (lua_State *L); + /* * Global bindings. */ diff --git a/lib/defines.h b/lib/defines.h index 853a229bf..c70c279f9 100644 --- a/lib/defines.h +++ b/lib/defines.h @@ -26,10 +26,12 @@ #define KR_EXPORT __attribute__ ((visibility ("default"))) #define KR_CONST __attribute__((__const__)) #define KR_PURE __attribute__((__pure__)) +#define KR_NORETURN __attribute__((__noreturn__)) #else #define KR_EXPORT #define KR_CONST #define KR_PURE +#define KR_NORETURN #endif /*