diff options
author | Peter Eisentraut | 2016-10-09 16:00:00 +0000 |
---|---|---|
committer | Peter Eisentraut | 2016-10-10 01:36:42 +0000 |
commit | 52f0142eb4c755d1f4c390464769d35f21e998c3 (patch) | |
tree | 9f73a2371e92866625bb714948d184e5bd35d4d9 | |
parent | ecb0d20a9d2e09b7112d3b192047f711f9ff7e59 (diff) |
Add a noreturn attribute to help static analyzers
-rw-r--r-- | src/backend/utils/fmgr/dfmgr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/fmgr/dfmgr.c b/src/backend/utils/fmgr/dfmgr.c index 6f70813a6d..905b981b6a 100644 --- a/src/backend/utils/fmgr/dfmgr.c +++ b/src/backend/utils/fmgr/dfmgr.c @@ -65,7 +65,7 @@ char *Dynamic_library_path; static void *internal_load_library(const char *libname); static void incompatible_module_error(const char *libname, - const Pg_magic_struct *module_magic_data); + const Pg_magic_struct *module_magic_data) pg_attribute_noreturn(); static void internal_unload_library(const char *libname); static bool file_exists(const char *name); static char *expand_dynamic_library_name(const char *name); |