diff options
Diffstat (limited to 'lib/uid_wrapper/wscript')
-rw-r--r-- | lib/uid_wrapper/wscript | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/uid_wrapper/wscript b/lib/uid_wrapper/wscript index 49c23d2610..61b54b94f0 100644 --- a/lib/uid_wrapper/wscript +++ b/lib/uid_wrapper/wscript @@ -1,5 +1,6 @@ #!/usr/bin/env python +import Options import os VERSION="1.0.1" @@ -68,6 +69,25 @@ def configure(conf): addmain=False, msg='Checking for library destructor support') + if Options.options.address_sanitizer: + # check HAVE_ADDRESS_SANITIZER_ATTRIBUTE + conf.CHECK_CODE(''' + void test_address_sanitizer_attribute(void) __attribute__((no_sanitize_address)); + + void test_address_sanitizer_attribute(void) + { + return; + } + + int main(void) { + return 0; + } + ''', + 'HAVE_ADDRESS_SANITIZER_ATTRIBUTE', + addmain=False, + cflags='-Wall -Wextra -Werror', + msg='Checking for address sanitizer attribute') + # check HAVE_FUNCTION_ATTRIBUTE_FORMAT conf.CHECK_CODE(''' void log_fn(const char *format, ...) __attribute__ ((format (printf, 1, 2))); |