drd: Add command-line option --trace-sectsuppr
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13509 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/drd/drd_main.c b/drd/drd_main.c
index 358ec83..f4417d9 100644
--- a/drd/drd_main.c
+++ b/drd/drd_main.c
@@ -60,6 +60,7 @@
static Bool s_var_info;
static Bool s_show_stack_usage;
static Bool s_trace_alloc;
+static Bool trace_sectsuppr;
/**
@@ -115,6 +116,7 @@
else if VG_BOOL_CLO(arg, "--trace-hb", trace_hb) {}
else if VG_BOOL_CLO(arg, "--trace-mutex", trace_mutex) {}
else if VG_BOOL_CLO(arg, "--trace-rwlock", trace_rwlock) {}
+ else if VG_BOOL_CLO(arg, "--trace-sectsuppr", trace_sectsuppr) {}
else if VG_BOOL_CLO(arg, "--trace-segment", trace_segment) {}
else if VG_BOOL_CLO(arg, "--trace-semaphore", trace_semaphore) {}
else if VG_BOOL_CLO(arg, "--trace-suppr", trace_suppression) {}
@@ -250,6 +252,8 @@
" --trace-conflict-set-bm=yes|no Trace all conflict set bitmap\n"
" updates [no]. Note: enabling this option\n"
" will generate a lot of output !\n"
+" --trace-sectsuppr=yes|no Trace which the dynamic library sections on\n"
+" which data race detection is suppressed.\n"
" --trace-segment=yes|no Trace segment actions [no].\n"
" --trace-suppr=yes|no Trace all address suppression actions [no].\n"
);
@@ -396,8 +400,6 @@
drd_start_using_mem(a1, len, is_stack_memory);
}
-static const Bool trace_sectsuppr = False;
-
/**
* Suppress data race reports on all addresses contained in .plt, .got and
* .got.plt sections inside the address range [ a, a + len [. The data in