diff options
-rw-r--r-- | meson.build | 8 | ||||
-rw-r--r-- | meson_options.txt | 2 | ||||
-rw-r--r-- | src/basic/log.c | 4 | ||||
-rw-r--r-- | src/basic/log.h | 7 |
4 files changed, 16 insertions, 5 deletions
diff --git a/meson.build b/meson.build index 46f062d530..7d4233ca7f 100644 --- a/meson.build +++ b/meson.build @@ -33,7 +33,13 @@ conf.set_quoted('RELATIVE_SOURCE_PATH', relative_source_path) conf.set10('BUILD_MODE_DEVELOPER', get_option('mode') == 'developer', description : 'tailor build to development or release builds') -conf.set10('LOG_MESSAGE_VERIFICATION', get_option('log-message-verification')) +verification = get_option('log-message-verification') +if verification == 'auto' + verification = conf.get('BUILD_MODE_DEVELOPER') == 1 +else + verification = verification == 'true' +endif +conf.set10('LOG_MESSAGE_VERIFICATION', verification) want_ossfuzz = get_option('oss-fuzz') want_libfuzzer = get_option('llvm-fuzz') diff --git a/meson_options.txt b/meson_options.txt index ff59120f77..26d1170c50 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -470,7 +470,7 @@ option('fuzz-tests', type : 'boolean', value : 'false', description : 'run the fuzzer regression tests by default (with sanitizers)') option('install-tests', type : 'boolean', value : 'false', description : 'install test executables') -option('log-message-verification', type : 'boolean', value : 'false', +option('log-message-verification', type : 'combo', choices : ['auto', 'true', 'false'], description : 'do fake printf() calls to verify format strings') option('ok-color', type : 'combo', diff --git a/src/basic/log.c b/src/basic/log.c index 12071e2ebd..8f36c1dfad 100644 --- a/src/basic/log.c +++ b/src/basic/log.c @@ -67,6 +67,10 @@ static bool prohibit_ipc = false; * use here. */ static char *log_abort_msg = NULL; +#if LOG_MESSAGE_VERIFICATION || defined(__COVERITY__) +bool _log_message_dummy = false; /* Always false */ +#endif + /* An assert to use in logging functions that does not call recursively * into our logging functions (since that might lead to a loop). */ #define assert_raw(expr) \ diff --git a/src/basic/log.h b/src/basic/log.h index 7b89c4df63..b7b0a42e49 100644 --- a/src/basic/log.h +++ b/src/basic/log.h @@ -301,9 +301,10 @@ bool log_on_console(void) _pure_; /* Helper to wrap the main message in structured logging. The macro doesn't do much, * except to provide visual grouping of the format string and its arguments. */ #if LOG_MESSAGE_VERIFICATION || defined(__COVERITY__) -/* Do a fake formatting of the message string to let the scanner verify the arguments - * against the format message. */ -# define LOG_MESSAGE(fmt, ...) "MESSAGE=%.0d" fmt, printf(fmt, ##__VA_ARGS__), ##__VA_ARGS__ +/* Do a fake formatting of the message string to let the scanner verify the arguments against the format + * message. The variable will never be set to true, but we don't tell the compiler that :) */ +extern bool _log_message_dummy; +# define LOG_MESSAGE(fmt, ...) "MESSAGE=%.0d" fmt, (_log_message_dummy && printf(fmt, ##__VA_ARGS__)), ##__VA_ARGS__ #else # define LOG_MESSAGE(fmt, ...) "MESSAGE=" fmt, ##__VA_ARGS__ #endif |