|
From: <sv...@va...> - 2013-08-24 17:51:24
|
bart 2013-08-24 17:51:18 +0000 (Sat, 24 Aug 2013)
New Revision: 13509
Log:
drd: Add command-line option --trace-sectsuppr
Modified files:
trunk/drd/drd_main.c
Modified: trunk/drd/drd_main.c (+4 -2)
===================================================================
--- trunk/drd/drd_main.c 2013-08-24 17:50:38 +00:00 (rev 13508)
+++ trunk/drd/drd_main.c 2013-08-24 17:51:18 +00:00 (rev 13509)
@@ -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
|