|
From: <sv...@va...> - 2010-03-07 20:07:23
|
Author: bart
Date: 2010-03-07 20:07:15 +0000 (Sun, 07 Mar 2010)
New Revision: 11080
Log:
Do not suppress data races on user-annotated addresses.
Modified:
trunk/drd/drd_clientobj.c
Modified: trunk/drd/drd_clientobj.c
===================================================================
--- trunk/drd/drd_clientobj.c 2010-03-07 20:05:58 UTC (rev 11079)
+++ trunk/drd/drd_clientobj.c 2010-03-07 20:07:15 UTC (rev 11080)
@@ -144,7 +144,10 @@
p->any.first_observed_at = VG_(record_ExeContext)(VG_(get_running_tid)(), 0);
VG_(OSetGen_Insert)(s_clientobj_set, p);
tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p);
- DRD_(start_suppression)(a1, a1 + 1, "clientobj");
+ if (t == ClientHbvar)
+ DRD_(mark_hbvar)(a1);
+ else
+ DRD_(start_suppression)(a1, a1 + 1, "clientobj");
return p;
}
@@ -208,7 +211,7 @@
tl_assert(s_clientobj_set);
- if (! DRD_(is_any_suppressed)(a1, a2))
+ if (! DRD_(range_contains_suppression_or_hbvar)(a1, a2))
return;
VG_(OSetGen_ResetIterAt)(s_clientobj_set, &a1);
|