diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2022-05-11 16:42:13 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2022-05-11 18:18:59 +0200 |
commit | 011a03a3fae25f2b715f2d88bc16b4cb8f8f2da2 (patch) | |
tree | 1eba248a5bda812af84c9b4de70504fb4f400de1 | |
parent | 1ec7c15613028c75cf160a56bec0642a99109551 (diff) | |
download | systemd-011a03a3fae25f2b715f2d88bc16b4cb8f8f2da2.tar.gz |
meson: turn on log-message-verification by default in developer builds
I'm not _quite_ convinced that this a good idea… I'm at least keeping
it separate to make it easy to revert ;)
-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 |